Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 9200 - dev-libs/gmp-4.1-r1 does not install libgmpxx.so
Summary: dev-libs/gmp-4.1-r1 does not install libgmpxx.so
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: x86 Linux
: High normal (vote)
Assignee: Michael M Nazaroff (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2002-10-16 11:16 UTC by Peter Simons
Modified: 2015-04-08 06:53 UTC (History)
0 users

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


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Peter Simons 2002-10-16 11:16:50 UTC
I just tried several times to merge the GMP library, but no matter what I try,
the installed version of the library does not include the C++ library,
libgmpxx.so. I checked manually, using ebuild, and it seems that the "make
install" process of GMP does not install it, even though the library clearly is
build and sits in the .libs directory. I have no idea why this is happening ...
Could someone of you guys please look into that?
Comment 1 Michael M Nazaroff (RETIRED) gentoo-dev 2003-05-06 15:55:23 UTC
This seems to be fixed in the newer releases of this gmp.

Naz