Ask Your Question
0

wheres libgmp.so.3 on fedora 17?

asked 2012-07-25 23:18:08 -0500

pycthon gravatar image

updated 2012-07-25 23:21:57 -0500

Hi all I need libgmp.so.3 for installing the latest haskell compiler ghc-4.7.2

while running sudo ./configure

checking for path to top of build tree... utils/ghc-pwd/dist-install/build/tmp/ghc-pwd: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory

I have all gmp related things installed from the repository

I searched for libgmp.so.3 with find / -name libgmp.so.3 2>/dev/null and nothing came up

I also checked the web all over and nothing came up.

How can i get this libgmp.so.3 file?

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted
0

answered 2012-07-29 10:01:28 -0500

FranciscoD_ gravatar image

I'd recommend you wait for the fedora update. I see there's a bug filed: rhbz#830595

If you cannot wait, I'd suggest looking the the spec file for build steps. The spec can be found at: bugz.fedoraproject.org/packagename -> click on package sources.

edit flag offensive delete link more
0

answered 2012-07-26 05:08:20 -0500

sagitter gravatar image

'sudo ./configure' ? As root ? No.

libgmp.so.3 is provided by gmp-4.3.2-5.fc16 and there is not in Fedora 17.

In fact:

$ rpm -q --provides gmp
libgmp.so.10()(64bit)  
libgmpxx.so.4()(64bit)  
libmp.so.3()(64bit)  
gmp = 1:5.0.2-6.fc17
gmp(x86-64) = 1:5.0.2-6.fc17
edit flag offensive delete link more

Question Tools

Stats

Asked: 2012-07-25 23:18:08 -0500

Seen: 5,822 times

Last updated: Jul 29 '12