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