2008-08-16 Nicolas Roche <roche@adacore.com>
* Makefile.tpl: Add BOOT_ADAFLAGS.
* Makefile.in: Regenerate.
+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.
# here so that they can be overridden by Makefile fragments.
BOOT_CFLAGS= -g -O2
BOOT_LDFLAGS=
+BOOT_ADAFLAGS=-gnatpg -gnata
BISON = @BISON@
YACC = @YACC@
# here so that they can be overridden by Makefile fragments.
BOOT_CFLAGS= -g -O2
BOOT_LDFLAGS=
+BOOT_ADAFLAGS=-gnatpg -gnata
BISON = @BISON@
YACC = @YACC@