Add configure option to enable projects

2 files changed, 6 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 17c80068a650..49362064839d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 # Generated by mksrcinfo v8
-# Fri Feb  9 02:06:57 UTC 2018
+# Fri Feb  9 02:37:45 UTC 2018
 pkgbase = gnatcoll
 	pkgdesc = Gnat components collection.
 	pkgver = 2017
diff --git a/PKGBUILD b/PKGBUILD
index 8650305b9d65..d5fd110d21da 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -56,10 +56,11 @@ build()
 
     export OS=unix
 
-    ./configure --prefix=/usr     \
-                --libexecdir=/lib \
-                --enable-shared   \
-                --enable-gpl
+    ./configure --prefix=/usr       \
+                --libexecdir=/lib   \
+                --enable-shared     \
+                --enable-gpl        \
+                --enable-projects
 
     make PROCESSORS="$(nproc)" GPRBUILD_OPTIONS=-R
 }