On Tue, Jun 26, 2012 at 01:08:13PM +0200, Xavier Grave wrote:

> One concern I have is that I'm using po_gnatdist tool to build
> distributed application, I'll have to sort out if it rely on gnatmake or
> gprbuild (command line shows "gnat compile" and "gnat make")

http://gcc.gnu.org/onlinedocs/gnat_ugn_unw/The-GNAT-Driver-and-Project-Files.html


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/20120627065744.GA4387@pegase

Reply via email to