1 files changed, 8 insertions, 0 deletions
diff --git a/development/ahven/ahven.gpr b/development/ahven/ahven.gpr
new file mode 100644
index 0000000000..37d10529d5
--- /dev/null
+++ b/development/ahven/ahven.gpr
@@ -0,0 +1,8 @@
+library project Ahven is
+   for Library_Name     use "ahven";
+   for Library_Kind     use "dynamic";
+   for Source_Dirs      use ("@prefix@/include/ahven");
+   for Library_Dir      use "@libdir@";
+   for Library_ALI_Dir  use "@libdir@/ahven";
+   for Externally_Built use "true";
+end Ahven;