Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 378497 - dev-lang/mlton-20070826-r1 USE=-binary - /usr/lib/mlton/mlton-compile: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory
Summary: dev-lang/mlton-20070826-r1 USE=-binary - /usr/lib/mlton/mlton-compile: error ...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-08-09 14:03 UTC by Jeremy Stent
Modified: 2012-10-16 09:15 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Build Log (build.log,228.29 KB, text/plain)
2011-08-09 14:10 UTC, Jeremy Stent 		Details
Environment (environment,93.11 KB, text/plain)
2011-08-09 14:10 UTC, Jeremy Stent 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jeremy Stent 2011-08-09 14:03:21 UTC 
Attempting to merge mlton:
Merged the binary version, then attempted to merge without the binary flag, but got an error attempting to link to an old version of libgmp.

Reproducible: Always

Steps to Reproduce:
1.  USE="binary" emerge mlton
2.  emerge mlton
3.  "/usr/lib/mlton/mlton-compile: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory"
Actual Results:  
Error

Expected Results:  
Successful merge
Comment 1 Jeremy Stent 2011-08-09 14:10:19 UTC 
Created attachment 282689 [details]
Build Log
Comment 2 Jeremy Stent 2011-08-09 14:10:45 UTC 
Created attachment 282691 [details]
Environment
Comment 3 Jeroen Roovers (RETIRED) gentoo-dev 2011-08-11 15:17:06 UTC 
Looks like it's time for two new binary tarballs. :)
Comment 4 Hans 2012-10-16 07:22:10 UTC 
The problem still persists.

I would suggest to either fix this soon or remove mlton. Failing ebuilds are much more annoying than missing ebuilds...
Comment 5 Marijn Schouten (RETIRED) gentoo-dev 2012-10-16 09:15:42 UTC 
Hi Hans, thanks for the prod. Indeed a bump was long overdue, but they are not difficult to do, so no need to get all pessimistic and suggest removing a complete package. Anyway, I've done the bump now.

Jeremy, thanks for reporting and sorry for the long delay.