Re: problems with gnat on yosemite macox

[Simon Wright <simon@pushface.org>]

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