Blob Blame History Raw
--- a/Makefile	2012-12-18 15:04:04.452628949 +0400
+++ b/Makefile	2012-12-18 15:05:07.789420167 +0400
@@ -1,6 +1,7 @@
 RTS =
 TARGET =
-GPRBUILD  = gprbuild
+GNATFLAGS ?= 
+GPRBUILD  = gprbuild ${GNATFLAGS}
 GPRCLEAN = gprclean
 
 libdir ?= /usr/local/lib
--- a/Makefile	2012-12-18 15:07:41.141303720 +0400
+++ b/Makefile	2012-12-18 15:07:47.377380514 +0400
@@ -24,7 +24,9 @@
 
 MODE = Install
 
-CONF_ARGS = $(TARGET_CONF) $(RTS_CONF)
+## CONF_ARGS = $(TARGET_CONF) $(RTS_CONF)
+CONF_ARGS = ${GNATFLAGS}
+
 
 # Install directories