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!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: fyi, GNAT and SPARK GPL 2016 are out
Date: Sat, 04 Jun 2016 22:49:06 +0100
Organization: A noiseless patient Spider
Message-ID: <lybn3gpqul.fsf@pushface.org>
References: <nimo81$kjj$2@gioia.aioe.org>
	<6b2b49bd-4b2f-4ca9-b4c7-16d0e5b36e05@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="fa27e9c62dd412c1b6adffaac11b940a";
	logging-data="15917"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18oJLNM1cyGxnzMhURg2CpdwUpZNpFFbFA="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin)
Cancel-Lock: sha1:dSEjwmGVLWmv2saCKo+Bo0uWi6w=
	sha1:X/Gc+zQ9U8fR5Oh1doz3e0fx1hw=
Xref: news.eternal-september.org comp.lang.ada:30608
Date: 2016-06-04T22:49:06+01:00
List-Id: <comp.lang.ada>

ogpual@gmail.com writes:

> Can anyone explain why my Ocaml builds started failing when I
> installed this new gnat release on linux mint?

Not specifically, but if you could say some more about the errors you
see when the builds fail it might help.

Also,
  where have you installed GNAT?
  what is your PATH? (and what used it to be before the GNAT install?)