FS#28303 - [cabal-install] ]broken dependency (libgmp.so.3) for cabal-install in extra

Attached to Project: Arch Linux
Opened by Eric Schulte (eschulte) - Tuesday, 07 February 2012, 00:44 GMT
Last edited by Thomas Dziedzic (tomd123) - Wednesday, 29 February 2012, 03:08 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Vesa Kaihlavirta (vegai)
Thomas Dziedzic (tomd123)
Architecture All
Severity Medium
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

Description: The "cabal" command provided by the "cabal-install" package fails with the following on a freshly updated system.

cabal: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory

Additional info:
* package version(s)
* config and/or log files etc.

cabal-install

Steps to reproduce:
pacman -Syu
pacman -S cabal-install
cabal
This task depends upon

Closed by  Thomas Dziedzic (tomd123)
Wednesday, 29 February 2012, 03:08 GMT
Reason for closing:  Not a bug
Comment by Thomas Dziedzic (tomd123) - Tuesday, 28 February 2012, 20:03 GMT
readelf -d /usr/bin/cabal | grep libgmp
0x0000000000000001 (NEEDED) Shared library: [libgmp.so.10]

Are you using an outdated mirror perhaps?
Comment by Thomas Dziedzic (tomd123) - Tuesday, 28 February 2012, 20:05 GMT
Please pastebin the output of LD_DEBUG=files cabal
Comment by Eric Schulte (eschulte) - Tuesday, 28 February 2012, 22:25 GMT Comment by Thomas Dziedzic (tomd123) - Tuesday, 28 February 2012, 23:47 GMT
Well I can tell you that you aren't using the cabal in current repos.

what is the output of pacman -Qi cabal-install?
Comment by Eric Schulte (eschulte) - Wednesday, 29 February 2012, 02:34 GMT
OH, this is not an arch/pacman problem, my fault, so sorry for the noise!

I *do* have cabal-install installed through pacman, but it is overshadowed by a ~/.cabal/bin/cabal which is still in my home directory (and PATH) from a previous linux install. Removing ~/.cabal fixes my problems.

Thanks for your time.

Loading...