Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 413659 - dev-lang/gnat-gcc 4.6.2 4.7.0 version bumps
Summary: dev-lang/gnat-gcc 4.6.2 4.7.0 version bumps
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: ada team [OBSOLETE]
URL:
Whiteboard:
Keywords: NeedPatch
Depends on:
Blocks:
 
Reported: 2012-04-26 18:47 UTC by Keean Schupke
Modified: 2013-11-14 07:30 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 Keean Schupke 2012-04-26 18:47:54 UTC
GNAT version does not support Ada-2012 standard. Would be good to have the same version of gcc as the system base (currently 4.6.2) or 4.7.0 

Why is Ada not supported by a use flag like fortran?
Comment 1 Keean Schupke 2012-06-13 22:34:25 UTC
need gnat-gcc >= 4.6 for SPARK support.
Comment 2 T6n9naYMKJ 2012-09-11 19:00:29 UTC
+1
Comment 3 Steve Arnold archtester gentoo-dev 2013-11-14 07:30:57 UTC
I just commited 4.6.4 (better late than never ;)

Have at it...