Je n'arrive pas à utiliser ce Makefile:

gnatmake -g -gnata -gnato13 -gnatf -gnatwa -gnatVa -gnat2012 -Wall -E -gnateE  exemple_io
gcc-4.6 -c -g -gnata -gnato13 -gnatf -gnatwa -gnatVa -gnat2012 -Wall -E -gnateE exemple_io.adb
gnat1: invalid switch: -gnat13
gnatmake: "exemple_io.adb" compilation error
make: *** [exemple_io] Erreur 4