diff options
Diffstat (limited to 'proj/shared.gpr')
-rw-r--r-- | proj/shared.gpr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/proj/shared.gpr b/proj/shared.gpr new file mode 100644 index 0000000..d16fc1a --- /dev/null +++ b/proj/shared.gpr @@ -0,0 +1,13 @@ + + +abstract project Shared is + + + package Compiler is + for Default_Switches ("Ada") use ("-gnaty4aAbcefhiklM100nprt"); + end Compiler; + + +end Shared; + + |