ada/Http_Cyclone
0
0
Fork 0
mirror of https://github.com/AdaCore/Http_Cyclone.git synced 2026-02-12 13:07:39 -08:00
Code Issues Packages Projects Releases Wiki Activity

making the prove.gpr file generic again

Browse Source
This commit is contained in:
Kyriakos Georgiou
2020-11-13 12:47:43 +00:00
parent 683e7b2958
commit 7e05aab844
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
prove.gpr
View File

@@ -6,11 +6,13 @@ project Prove is
"socket_interface_tcp.ads",
"socket_interface_tcp.adb");
package Compiler is
for Default_Switches ("ada") use ("-gnat2020",
"-I/home/georgiou/work/projects/Http_Cyclone_new_repo/",
"-gnatep=/home/georgiou/work/projects/Http_Cyclone_new_repo/prep.data");
end Compiler;
Package Compiler is
for default_switches ("Ada") use
("-gnat2020","-gnatwae", "-gnaty",
"-I" & Prove'Project_Dir,
"-gnatep=" & Prove'Project_Dir & "prep.data");
end Compiler;
end Prove;