diff options
Diffstat (limited to 'devel/ahven/files/ahven.gpr')
| -rw-r--r-- | devel/ahven/files/ahven.gpr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/devel/ahven/files/ahven.gpr b/devel/ahven/files/ahven.gpr new file mode 100644 index 000000000000..357aad893ae0 --- /dev/null +++ b/devel/ahven/files/ahven.gpr @@ -0,0 +1,7 @@ +library project Ahven is + for Library_Name use "ahven"; + for Library_Kind use "static"; + for Source_Dirs use ("../../include/ahven"); + for Library_Dir use "../../lib/ahven"; + for Externally_Built use "true"; +end Ahven; |