Description: Pass build flags to gnatmake when building the project demo.
 This is quite useful in order to activate assertions.
Author: Nicolas Boulenguez <nicolas@debian.org>

--- a/Makefile
+++ b/Makefile
@@ -146,7 +146,9 @@
 
   # This test will fail once gnatmake drops project support, but for
   # now we can test projects without gprbuild.
-	gnatmake -aPdemo-install/$(GPR_DIR) -Pdemo/demo.gpr
+	gnatmake -aPdemo-install/$(GPR_DIR) -Pdemo/demo.gpr $(GNATMAKE_OPTIONS) \
+	  -cargs $(ADAFLAGS) \
+	  -largs $(LDFLAGS)
 	LD_LIBRARY_PATH=demo-install/$(LIB_DIR) demo/obj-project/demo
 
 	gnatmake demo/demo.adb -o demo/obj-static/demo -D demo/obj-static $(GNATMAKE_OPTIONS) \