Re: Problem with GPS and Generating Body from Spec

[Simon Wright <simon@pushface.org>]

Laurent <lutgenl@icloud.com> writes:

> On Monday, 8 June 2015 16:37:11 UTC+2, David Botton  wrote:
>> Have you tried switching to use the community Ada, FSF-GNAT for Mac
>> OS X, I've had no issues like this with it. http://GetAdaNow.com has
>> pointers to it.
>> 
>> David Botton
>
>
> Yes thanks with FSF-gnat it works if compiler/tools are both pointing
> to the FSF-gnat/bin.
> Changed path for the tools to the gpl-gnat/bin and nothing happens. I
> also tried transplanting the FSF-gnatstub to the gpl folder. Didn't
> work. Perhaps I should write a mail to Adacore?

The compiler and the ASIS-based tools like gnatstub need to be
consistent. It's possible to have a cross-compiler and native tools, but
they need to be from the same compiler base (because GNAT's ASIS uses
the binary-format .adt files generated with -gnatt, and uses code from
the compiler source to access them. It checks first that the compiler
releases are consistent.)

I just tried GPS 2014 with gcc & gnatstub from GNAT GPL 2014 on
Mavericks, worked fine.