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