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: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: GNAT GPL 2016 on Debian Jessie Date: Tue, 12 Jul 2016 08:26:10 +0100 Organization: A noiseless patient Spider Message-ID: References: <6d459f6b-790f-44dd-a4fd-b6fd85f3740d@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="9627cd948fe47a1e33ddb21cdd8ab4b0"; logging-data="31645"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19hjyBWr/VOGKONYtynK70uHgpeHpfMQOI=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin) Cancel-Lock: sha1:f/QkCvyLommXWRmO4pfkvR0IbuA= sha1:xRzi9mEFvcdk4JSmCv8Wwsjcp2o= Xref: news.eternal-september.org comp.lang.ada:31072 Date: 2016-07-12T08:26:10+01:00 List-Id: ogpual@gmail.com writes: > I believe that I have also seen the "No compilers" message. Might it > have been when the gnat binaries were hidden by being too far down the > path? Thanks for the confirmation. > There is a new release of linux mint that has a newer version of the > FSF gcc. I hope to install that in the next few months and that it > will be possible to use it for Ada programming well enough that I > don't think it is a good idea to install the gnat binaries that > conflict by name with the rest of the distro. I wanted to install GNATCOLL, because it includes GPR processing support, which is needed for gpr_query, a tool to support Emacs ada-mode. After eventually getting it to build, I went round the houses a few times trying to install it; eventually realising that the sudo I'm used to on macOS keeps the current PATH, but the Debian one doesn't (even with -E), so when the Makefile runs gprinstall it picks up the Debian one rather than the GNAT GPL one ...