Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 443452 - dev-lang/polyml-5.5.0 should depend on and use dev-libs/libffi
Summary: dev-lang/polyml-5.5.0 should depend on and use dev-libs/libffi
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-11-15 20:55 UTC by René 'Necoro' Neumann
Modified: 2012-12-05 09:57 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 René 'Necoro' Neumann 2012-11-15 20:55:00 UTC
Starting from version 5.5.0 PolyMl uses libFFI for the FFI. It comes bundled with its own internal copy, but also provides the compile switch "--with-system-libffi".

As Gentoo has the "don't use bundled libs" policy and upstream supports the unbundling (via the given switch), this should be honored in the ebuild: Depend on virtual/libffi and pass the switch to econf.

Or are there are other reasons that speak against this?
Comment 1 Mark Wright gentoo-dev 2012-12-05 09:57:55 UTC
Committed the suggested fix, thanks for the report and the fix.