Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 413659

Summary: dev-lang/gnat-gcc 4.6.2 4.7.0 version bumps
Product: Gentoo Linux Reporter: Keean Schupke <keean.schupke>
Component: [OLD] DevelopmentAssignee: ada team [OBSOLETE] <ada+disabled>
Status: RESOLVED FIXED    
Severity: normal CC: keean.schupke
Priority: Normal Keywords: NeedPatch
Version: autobuilds   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

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...