berriedale
/
arun
mirror of https://github.com/berriedale/arun
1
0
Fork 0
Code Issues Releases Wiki Activity

Make GNAT work as a proper Ada compiler 

Without the added flags `gnatmake` is not a proper Ada compiler (specifically are stack and integer overflows not checked).
This commit is contained in:
Jacob Sparre Andersen 2017-01-16 13:19:08 +01:00 committed by GitHub
parent 496189fd19
commit 821514aa78
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
arun.gpr
View File

@ -15,9 +15,12 @@ project Arun is
for Executable ("main.adb") use "arun";
end Builder;
-- Enable Ada 2005.
-- Enable Ada 2012.
package Compiler is
for Switches ("Ada") use ("-gnat2012");
for Switches ("Ada") use ("-gnat2012",
"-fstack-check",
"-gnata",
"-gnato");
end Compiler;
end Arun;