diff options
Diffstat (limited to 'asis.gpr')
-rw-r--r-- | asis.gpr | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/asis.gpr b/asis.gpr new file mode 100644 index 000000000000..33b259049bb9 --- /dev/null +++ b/asis.gpr @@ -0,0 +1,12 @@ +with "gnat_util"; +Library project Asis is + + for Languages use ("Ada"); + + for Source_Dirs use ("../../include/asis"); + for Library_Dir use "../../lib/asis"; + for Library_Name use "asis"; + for Library_Kind use "static"; + for Externally_Built use "True"; + +end Asis; |