FS#18878 - [darcs]: Fails to run due to missmatch in gmp version

Attached to Project: Arch Linux
Opened by Magnus Therning (magus) - Tuesday, 30 March 2010, 09:58 GMT
Last edited by Jan de Groot (JGC) - Tuesday, 30 March 2010, 13:20 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Vesa Kaihlavirta (vegai)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:
The recent version bump for gmp has affected darcs:

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

Additional info:
* version: darcs-2.4-1-x86_64.pkg.tar.gz

Steps to reproduce:
Just install and run.
This task depends upon

Closed by  Jan de Groot (JGC)
Tuesday, 30 March 2010, 13:20 GMT
Reason for closing:  Works for me
Comment by Jan de Groot (JGC) - Tuesday, 30 March 2010, 12:49 GMT
Works fine here. The package extension you posted differs from what is in our repositories, so this looks like a local build done by yourself before 2.4-1 was pushed to the repositories.
Comment by Magnus Therning (magus) - Tuesday, 30 March 2010, 13:09 GMT
Hmm, indeed, I did attempt a rebuild locally *after* noticing the problem. (I know that there was an update to libgmp recently which affected GHC, and many of the binaries compiled with it.)

Re-installing from the repo doesn't fix anything though:

magnus@bryma 2505 ~
% sudo pacman -Scc
Cache directory: /var/cache/pacman/pkg/
Do you want to remove ALL files from cache? [y/N] y
removing all files from cache...

Database directory: /var/lib/pacman/
Do you want to remove unused repositories? [Y/n]
Database directory cleaned up
magnus@bryma 2506 ~
% sudo pacman -Syy
:: Synchronising package databases...
core 36.1K 220.3K/s 00:00:00 [#############################] 100%
extra 447.1K 1218.0K/s 00:00:00 [#############################] 100%
community 372.0K 482.1K/s 00:00:01 [#############################] 100%
therning 2.9K 4.4M/s 00:00:00 [#############################] 100%
paktahn 0.5K 14.6M/s 00:00:00 [#############################] 100%
magnus@bryma 2507 ~
% sudo pacman -f -S darcs
warning: darcs-2.4-1 is up to date -- reinstalling
resolving dependencies...
looking for inter-conflicts...

Targets (1): darcs-2.4-1

Total Download Size: 1.19 MB
Total Installed Size: 7.77 MB

Proceed with installation? [Y/n]
:: Retrieving packages from extra...
darcs-2.4-1-x86_64.... 1223.1K 1280.1K/s 00:00:01 [#############################] 100%
checking package integrity...
(1/1) upgrading darcs [#############################] 100%
magnus@bryma 2508 ~
% darcs
darcs: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory
Comment by Jan de Groot (JGC) - Tuesday, 30 March 2010, 13:11 GMT
Could you do "ldd `which darcs`" ?
Comment by Magnus Therning (magus) - Tuesday, 30 March 2010, 13:17 GMT
Oups, my bad, it was a stray copy of darcs in my path (which wasn't picked up by whereis).

Loading...