--- 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