From: ogpual@gmail.com
Subject: Re: fyi, GNAT and SPARK GPL 2016 are out
Date: Sat, 4 Jun 2016 14:15:37 -0700 (PDT)
Date: 2016-06-04T14:15:37-07:00 [thread overview]
Message-ID: <6b2b49bd-4b2f-4ca9-b4c7-16d0e5b36e05@googlegroups.com> (raw)
In-Reply-To: <nimo81$kjj$2@gioia.aioe.org>
Can anyone explain why my Ocaml builds started failing when I installed this new gnat release on linux mint? I think I understand that Ocaml uses gcc and gnat needs a gcc that does Ada where it will get found on the path. However gcc is a compiler collection, and a collection that renders all elements after the first useless is severely limited. Does the gnat gcc use a different search strategy for libraries or such that befuddles Ocaml? Is there any standard way to get the different typical uses of gcc to work like they should?
next prev parent reply other threads:[~2016-06-04 21:15 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-01 13:33 fyi, GNAT and SPARK GPL 2016 are out Nasser M. Abbasi
2016-06-01 22:22 ` daserlang
2016-06-02 12:56 ` mockturtle
2016-06-03 1:56 ` David Botton
2016-06-03 7:16 ` Simon Wright
2016-06-05 8:00 ` ahlan.marriott
2016-06-05 8:42 ` gautier_niouzes
2016-06-05 10:02 ` Simon Wright
2016-06-04 16:13 ` gautier_niouzes
2016-06-04 16:31 ` Georg Bauhaus
2016-06-04 18:35 ` gautier_niouzes
2016-06-04 19:34 ` Simon Wright
2016-06-05 9:38 ` gautier_niouzes
2016-06-05 7:14 ` Randy Brukardt
2016-06-04 17:36 ` Jeffrey R. Carter
2016-06-05 14:07 ` Alejandro R. Mosteo
2016-06-05 18:02 ` Jeffrey R. Carter
2016-06-05 7:12 ` Randy Brukardt
2016-06-04 21:15 ` ogpual [this message]
2016-06-04 21:49 ` Simon Wright
2016-06-04 23:02 ` ogpual
2016-06-05 17:57 ` Hadrien Grasland
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox