Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 223751 - dev-lang/gnat-gcc-4.3.0 needs dev-libs/mpfr and dev-libs/gmp
Summary: dev-lang/gnat-gcc-4.3.0 needs dev-libs/mpfr and dev-libs/gmp
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (show other bugs)
Hardware: All Linux
: High normal
Assignee: ada team [OBSOLETE]
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-05-26 20:22 UTC by Dirk Heinrichs
Modified: 2008-06-25 14:28 UTC (History)
1 user (show)

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 Dirk Heinrichs 2008-05-26 20:22:08 UTC
Without those packages, gnat-gcc fails in configure.

Reproducible: Always

Steps to Reproduce:
Try to install gnat-gcc with one of the above missing.

Actual Results:  
Fails during configure.

Expected Results:  
Install gnat-gcc and its dependencies, as needed.
Comment 1 George Shapovalov (RETIRED) gentoo-dev 2008-06-25 14:28:58 UTC
Hi Dirk.

Thanks for spotting this. Fixed.

(I assume this is pulled in by Ada-2005 support? What exact package btw, do you have any idea? Or is this some internal stuff? (it seems to be a hard dependency, not "soft" like on blas))