diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | Makefile.in | 1 | ||||
-rw-r--r-- | Makefile.tpl | 1 |
3 files changed, 7 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2008-08-16 Nicolas Roche <roche@adacore.com> + + * Makefile.tpl: Add BOOT_ADAFLAGS. + * Makefile.in: Regenerate. + 2008-08-16 Richard Sandiford <rdsandiford@googlemail.com> * configure.ac (mips*-*-*linux*, mips*-*-gnu*): Use mt-mips-gnu. diff --git a/Makefile.in b/Makefile.in index d9ef068..2ede058 100644 --- a/Makefile.in +++ b/Makefile.in @@ -291,6 +291,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@ 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@ |