Re: Problem with buggy GNAT GPS

[Simon Wright <simon@pushface.org>]

john@peppermind.com writes:

> Unfortunately I cannot use the Adacore version due to licensing issues.
>
> Does anybody have an idea how to fix the GPS bug for the FSF version?

I looked at GPS source once; it is so large and has so many dependencies
that I stopped.

Since GPS is purely an IDE and has no binaries to form part of your
deliverable, you can run the GPL IDE with the FSF compiler.

I'm running on a Mac, with GNAT GPL in /opt/gnat-gpl-2014 and FSF in
/opt/gcc-4.9.1. My PATH is

   $ echo $PATH
   /opt/gcc-4.9.1/bin:/usr/local/bin:/usr/texbin:/usr/bin ....

and if I start GPS with the explicit

   $ /opt/gnat-gpl-2014/bin/gps &

it runs the gcc-4.9.1 compiler.

I expect you have GNAT GPL in /usr/local/gnat? if so, just removing
/usr/local/gnat/bin from your PATH should do the trick.

This assumes that all the GPS-supported tools you want to use are in the
FSF GCC build; so using SPARK might be a problem.