aboutsummaryrefslogtreecommitdiff
path: root/Makefile.tpl
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.tpl')
-rw-r--r--Makefile.tpl1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.tpl b/Makefile.tpl
index 1f0c318..a9dfd3e 100644
--- a/Makefile.tpl
+++ b/Makefile.tpl
@@ -294,6 +294,7 @@ BUILD_PREFIX_1 = @BUILD_PREFIX_1@
# here so that they can be overridden by Makefile fragments.
BOOT_CFLAGS= -g -O2
BOOT_LDFLAGS=
+BOOT_ADAFLAGS=-gnatpg -gnata
BISON = @BISON@
YACC = @YACC@