Re: problems with gnat on yosemite macox

[vincent.diemunsch@gmail.com]

On Monday, October 20, 2014 1:53:51 PM UTC+2, Simon Wright wrote:
> Simon Wright <simon@pushface.org> writes:
> 
> 
> 
> > I haven't tried the GPL software on Yosemite; Leo did (the 2014
> 
> > version) and the compiler (gcc) crashed.
> 
> 
> 
> Same here; a segv in gcc.
> 
> 
> 
> > I don't know whether the 2012 versions will crash or not, but there
> 
> > has to be a good chance. Will try ...
> 
> 
> 
> gnatmake GPL 2012 needs the macosx version spec:
> 
> 
> 
>    $ gnatmake hello.adb -largs -Wl,-macosx_version_min,10.10.0
> 
> 
> 
> I don't know SPARK, but the Examiner (spark) ran apparently OK (that is,
> 
> it produced a report telling me my code was wrong!) - so that should be
> 
> good.
> 
> 
> 
> If you don't like the -Wl,-macosx stuff (and if we can't find a way to
> 
> make it unnecessary) I'd have thought you could use Spark GPL 2012 to
> 
> check and FSF GCC 4.9.1 to build.
> 
> 
> 
> I've just realised that there may be a problem with GPS; I forgot to try
> 
> it, since I don't use it myself. Does GPS GPL 2014 support the older
> 
> SPARK? Can try both 2012 & 2014 next time I'm booted into Yosemite ...

Thank you Simon, this is good news, since in fact the most important is the
examiner ! GPS 2014 doesn't support the older spark, as far as I have tried...
So I use the old GPS (from Gnat 2012) but in fact I think that the compiler
is GNAT GPL 2014. So yes, you are right, I could use FSF GCC to build !

Regards,

Vincent