I commited the Makefile.in update after successful testing and making sure it was stable (script regenerating the exact same Makefile.in after bootstrap). Is parallel build possible now? I'll work on putting the script in contrib in a few hours (I have to find a way to build gnatmem dependencies). -- Laurent Guerby <guerby@acm.org>