From: Victor Porton <porton@narod.ru>
Subject: Difference between gprbuild and gnatmake
Date: Wed, 12 Jul 2017 21:50:47 +0300
Date: 2017-07-12T21:50:47+03:00 [thread overview]
Message-ID: <ok5r25$1c0c$1@gioia.aioe.org> (raw)
From another thread:
> You should probably be using gprbuild, not gnatmake.
What is the difference? Is gprbuild a newer version of gnatmake? What are
their differences?
--
Victor Porton - http://portonvictor.org
next reply other threads:[~2017-07-12 18:50 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-07-12 18:50 Victor Porton [this message]
2017-07-13 6:03 ` Difference between gprbuild and gnatmake Simon Wright
2017-07-13 8:39 ` Stephen Leake
2017-07-13 14:12 ` Simon Wright
2017-07-13 15:01 ` Victor Porton
2017-07-13 16:17 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox