[PATCH] x32: Add and use libgnarl/s-taprop__x32.adb

Arnaud Charlet charlet@adacore.com
Mon Oct 2 07:43:00 GMT 2017


> I have no idea how to do it.  I opened:
> 
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82384

See Pierre-Marie's suggested patch on the PR.

Arno



More information about the Gcc-patches mailing list