-
-
Notifications
You must be signed in to change notification settings - Fork 1
/
HonkiTonksZivilisationen_Release.gpr
79 lines (62 loc) · 2.83 KB
/
HonkiTonksZivilisationen_Release.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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
with "asfml.gpr";
with "Bibliotheken/Grenztestsystem/HonkiTonksGrenztestsystem.gpr";
with "Bibliotheken/Meldungssystem/HonkiTonksMeldungssystem.gpr";
with "Bibliotheken/Umwandlungssystem/HonkiTonksUmwandlungssystem.gpr";
with "Bibliotheken/Diagnosesystem/HonkiTonksDiagnosesystem.gpr";
with "Bibliotheken/Dateizugriffssystem/HonkiTonksDateizugriffssystem.gpr";
with "Bibliotheken/Zufallsgeneratoren/HonkiTonksZufallsgeneratoren.gpr";
with "Bibliotheken/Allgemeinberechnungen/HonkiTonksAllgemeinberechnungen.gpr";
project HonkiTonksZivilisationen_Release is
type Betriebssystem_Type is ("Linux", "Windows");
Betriebssystem : Betriebssystem_Type := external ("Betriebssystem", "Linux");
type Status_Type is ("Entwicklung", "Veroeffentlichung");
Status : Status_Type := external ("Status", "Veroeffentlichung");
for Exec_Dir use "Honki Tonks Zivilisationen";
for Create_Missing_Dirs use "True";
for Main use ("HonkiTonksZivilisationen.adb");
for Runtime ("ada") use "default";
case Betriebssystem is
when "Linux" =>
case Status is
when "Entwicklung" =>
for Object_Dir use "obj";
for Source_Dirs use ("src/**", "srcBS/EntwicklungLinux");
when "Veroeffentlichung" =>
for Object_Dir use "obj";
for Source_Dirs use ("src/**", "srcBS/VereoffentlichungLinux");
end case;
when "Windows" =>
case Status is
when "Entwicklung" =>
for Object_Dir use "obj_windows";
for Source_Dirs use ("src/**", "srcBS/EntwicklungWindows");
when "Veroeffentlichung" =>
for Object_Dir use "obj_windows";
for Source_Dirs use ("src/**", "srcBS/VereoffentlichungWindows");
end case;
end case;
package Naming is
for Casing use "MixedCase";
end Naming;
package Compiler is
for Switches ("ada") use ("-gnatW8", "-gnatf", "-gnat2022", "-O3", "-gnatn", "-funroll-loops", "-fPIC", "-fstack-check", "-flto", "-gnatVacdefimoprst",
"-gnatw.a.b.c.d.f.g.h.i.j.k.l.m.n.o.p.q.r.s.t.v.w.x.zcdghiklmopqrtuvwxyz_c_re.u_pajf", "-gnatyACOSadefhiklnprsxM222L8");
for Local_Configuration_Pragmas use "Lokale Pragmas";
end Compiler;
package Builder is
for Switches ("ada") use ("-k", "-s", "-C", "-gnatW8", "-j4");
end Builder;
package Binder is
for Default_Switches ("ada") use ("-static", "-d_C", "-W8");
end Binder;
package Pretty_Printer is
for Default_Switches ("ada") use ("-W8");
end Pretty_Printer;
package Prove is
for Proof_Switches ("ada") use ("-j4", "--proof-warnings", "--codepeer=on");
end Prove;
package Linker is
for Switches ("ada") use ("-s", "-Wl,--gc-sections", "-flto");
for Linker_Options use ("-static");
end Linker;
end HonkiTonksZivilisationen_Release;