comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Current statu of ASIS for GNAT 2012, please ?
Date: Sat, 01 Oct 2011 07:39:15 +0100
Date: 2011-10-01T07:39:15+01:00	[thread overview]
Message-ID: <m2lit5z04s.fsf@pushface.org> (raw)
In-Reply-To: 87fwjev9su.fsf@ludovic-brenta.org

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

> Debian solves that problem by introducing libgnatvsn, a library
> compiled from GCC sources and containing gnatvsn.ads, sinfo.ad[bs],
> snames.ad[bs] and everything they depend on.  libasis is compiled
> against libgnatvsn.  AFAICT, asis 2010 works with gnat-4.6 on Debian
> but I'd like to have a good test case.  Simon, could you explain how
> you got the Tree_Format_Error exceptionss so I can try the same thing
> that you did?

This turned out to be my mistake; as Ludovic implies, you need to
replace the whole of the asis-2010 gnat/ directory by the corresponding
files from the compiler you're actually using.

I still think that if the tree format version number hasn't changed you
shouldn't get Tree_Format_Error exceptions! but everyone's human, after
all.

There are a couple of things in the ASIS code that aren't supported by
GCC 4.6; "Name_Implemented_By_Entry" and "Is_Overriding_Operation". Not
sure how these will affect users, though.

I'll be writing this up properly soon.



  reply	other threads:[~2011-10-01  6:39 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-09-28  9:56 Current statu of ASIS for GNAT 2012, please ? Yannick Duchêne (Hibou57)
2011-09-28 12:10 ` Yannick Duchêne (Hibou57)
2011-09-28 17:40   ` Ludovic Brenta
2011-09-28 21:21     ` Yannick Duchêne (Hibou57)
2011-09-29  6:44       ` Ludovic Brenta
2011-09-29 18:39         ` Yannick Duchêne (Hibou57)
2011-09-30 13:23           ` Ludovic Brenta
2011-09-30 22:11             ` Yannick Duchêne (Hibou57)
2011-10-01  9:11               ` Ludovic Brenta
2011-10-01 14:17                 ` Yannick Duchêne (Hibou57)
2011-10-01 16:12                   ` Ludovic Brenta
2011-10-01 16:34                     ` Ludovic Brenta
2011-10-02 18:41                     ` Yannick Duchêne (Hibou57)
2011-10-03  7:07                       ` Ludovic Brenta
2011-10-02 18:58                     ` Yannick Duchêne (Hibou57)
2011-10-02 10:29                   ` Georg Bauhaus
2011-10-02 16:38                     ` Ludovic Brenta
2011-10-02 17:44                       ` Georg Bauhaus
2011-10-02 18:28                         ` Ludovic Brenta
2011-09-29 12:57       ` Stephen Leake
2011-09-29 18:46         ` Yannick Duchêne (Hibou57)
2011-09-30 10:10           ` Stephen Leake
2011-09-30 13:29           ` Ludovic Brenta
2011-09-29 21:54       ` Simon Wright
2011-09-30  6:11         ` Ludovic Brenta
2011-10-01  6:39           ` Simon Wright [this message]
2011-10-01  9:01             ` Ludovic Brenta
2011-10-15 13:50             ` Simon Wright
2011-10-15 14:05               ` Ludovic Brenta
2011-10-15 14:36                 ` Simon Wright
2011-10-15  2:21 ` Lucretia
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox