comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: GNAT proposal: note on implicit exceptions insertion
Date: Mon, 11 Feb 2019 08:13:05 +0000
Date: 2019-02-11T08:13:05+00:00	[thread overview]
Message-ID: <lywom6wxny.fsf@pushface.org> (raw)
In-Reply-To: 438493a2-b37d-4cec-af9a-6fd3f26a847f@googlegroups.com

Mark Lorenzen <mark.lorenzen@gmail.com> writes:

> Note that gnatmake is deprecated. The GNAT builder is now gprbuild.

Except that gnatmake is part of GCC, gprbuild isn't.

In GCC builds, gnatbind, gnatmake and gnatlink are built using
Makefiles, all the other tools are built using gnatmake.

gprbuild has the slight disadvantage (for someone who checks out quite a
lot of other people's code) that it needs a project file, and will only
use the default if there are no other project files in sight: and, if
there's more than one, you have to specify which one. gnatmake only uses
a project file if you tell it to.

      reply	other threads:[~2019-02-11  8:13 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-02-10  2:03 GNAT proposal: note on implicit exceptions insertion Jesper Quorning
2019-02-10 18:08 ` Simon Wright
2019-02-11 21:36   ` Jesper Quorning
2019-02-11 22:31     ` Anh Vo
2019-02-11 23:41     ` Randy Brukardt
2019-02-12  7:05       ` Jesper Quorning
2019-02-12 23:08         ` Randy Brukardt
2019-02-16  4:30         ` Brad Moore
2019-02-16 16:15           ` Jesper Quorning
2019-02-12  8:19       ` Dmitry A. Kazakov
2019-02-12  8:35         ` Jesper Quorning
2019-02-12  9:20           ` Dmitry A. Kazakov
2019-02-12 12:46             ` Jesper Quorning
2019-02-12  7:28     ` Mark Lorenzen
2019-02-12  8:34       ` Jesper Quorning
2019-02-12 22:31       ` Fedja Beader
2019-02-13 10:42       ` Simon Wright
2019-02-11  6:53 ` Mark Lorenzen
2019-02-11  8:13   ` Simon Wright [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox