diff options
Diffstat (limited to 'devel/ahven/files/ahven.gpr')
| -rw-r--r-- | devel/ahven/files/ahven.gpr | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/devel/ahven/files/ahven.gpr b/devel/ahven/files/ahven.gpr deleted file mode 100644 index 357aad893ae0..000000000000 --- a/devel/ahven/files/ahven.gpr +++ /dev/null @@ -1,7 +0,0 @@ -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; |