On 08/16/2011 01:08 PM, Arnaud Charlet wrote:
Please post them.
OK, here they are. FWIW, I have no idea how these changes will play with
libada (in particular the stamp-tools handling), so I suspect these changes
may require a bit of adjustment to be suitable.

Wouldn't you use these targets with --disable-target-libada --disable-gnattools?

Paolo

Reply via email to