ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Use -gnata when compiling SPARK examples

Browse Source 
Requested by Yannick in R525-028.
This commit is contained in:
Nicolas Setton
2018-06-18 13:59:40 -04:00
parent d134760fed
commit 49fbc93401
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
resources/templates/spark_main/main.gpr
View File

@@ -5,7 +5,7 @@ project Main is
end Compiler;
package Builder is
for Switches ("ada") use ("-g", "-O0");
for Switches ("ada") use ("-g", "-O0", "-gnata");
for Global_Configuration_Pragmas use "main.adc";
end Builder;