-
Notifications
You must be signed in to change notification settings - Fork 0
/
tools.gpr
41 lines (30 loc) · 1.17 KB
/
tools.gpr
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
-- Build the tools used for running the ACATS gnat-specific grading
-- scripts.
--
-- Assumes that the support code, stored as at
-- https://github.com/simonjwright/ACATS, is in ../ACATS.
project Tools is
for Main use ("gnatscrp.a", "gnatevnt.a", "tstamp.a",
"summary.a", "grade.a");
for Exec_Dir use ".";
for Source_Dirs use (".", "../ACATS/support");
for Object_Dir use ".build";
for Create_Missing_Dirs use "true";
package Builder is
for Global_Compilation_Switches ("ada") use ("-g");
end Builder;
package Naming is
for Body ("gnatscrp") use "gnatscrp.a";
for Body ("gnatevnt") use "gnatevnt.a";
for Body ("tstamp") use "tstamp.a";
for Body ("summary") use "summary.a";
for Body ("grade") use "grade.a";
for Spec ("trace") use "trace.a";
for Spec ("grading_data") use "grd_data.a" at 1;
for Body ("grading_data") use "grd_data.a" at 2;
for Spec ("special_handling") use "special.a" at 1;
for Body ("special_handling") use "special.a" at 2;
for Spec ("test_summary") use "tst_sum.a" at 1;
for Body ("test_summary") use "tst_sum.a" at 2;
end Naming;
end Tools;