From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Problem with buggy GNAT GPS
Date: Tue, 14 Oct 2014 11:32:46 +0100
Organization: A noiseless patient Spider
Message-ID: <lywq83x7ox.fsf@pushface.org>
References: <891d6f9c-b3e6-4287-a056-f583a8031470@googlegroups.com>
 <sbz_v.381019$_k.129336@fx16.iad>
 <a86dfe36-febe-4f97-ba98-5a8af1e459a9@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="865ecc8333c04b7dc8d5f87fc772110b";
 logging-data="29458"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX1/G+jRcf+0jTdJnWwzWh1vk31xmVbMzw2s="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:SjAcqbWAhbRGPYsVOoU0pSBXYqM=
 sha1:cHCQAfV4t2XYoYXKJw0iv/iwr4g=
Xref: number.nntp.giganews.com comp.lang.ada:189758
Date: 2014-10-14T11:32:46+01:00
List-Id: <comp.lang.ada>

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.