diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2013-01-11 11:46:21 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2013-01-11 11:46:21 +0000 |
| commit | 7cb9fd07fe867fd0f29c1b2ff1142fa6c750d73a (patch) | |
| tree | 53024f967ba745e5434dd0f0cb402d262cc2f6c1 /gcc/ada | |
| parent | c7ab25306dd8672e44b23414ebd2cf590c9fa63e (diff) | |
| download | gcc-7cb9fd07fe867fd0f29c1b2ff1142fa6c750d73a.zip gcc-7cb9fd07fe867fd0f29c1b2ff1142fa6c750d73a.tar.gz gcc-7cb9fd07fe867fd0f29c1b2ff1142fa6c750d73a.tar.bz2 | |
Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.
* Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.
* Makefile.in: Regenerate.
gcc/
* configure.ac (Tree checking): Set TREECHECKING to yes if enabled.
Substitute TREECHECKING.
* configure: Regenerate.
* Makefile.in (TREECHECKING): New.
gcc/ada/
* gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata.
(CHECKING_ADAFLAGS): New.
(ALL_ADAFLAGS): Include CHECKING_ADAFLAGS.
From-SVN: r195104
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/Make-lang.in | 10 |
2 files changed, 14 insertions, 2 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d6df2d1..daf50ef 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2013-01-11 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata. + (CHECKING_ADAFLAGS): New. + (ALL_ADAFLAGS): Include CHECKING_ADAFLAGS. + 2013-01-10 Eric Botcazou <ebotcazou@adacore.com> * gcc-interface/config-lang.in (boot_language_boot_flags): Delete. diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in index 66fa1dd..72c0f5d 100644 --- a/gcc/ada/gcc-interface/Make-lang.in +++ b/gcc/ada/gcc-interface/Make-lang.in @@ -45,7 +45,12 @@ RMDIR = rm -rf # Extra flags to pass to recursive makes. -COMMON_ADAFLAGS= -gnatpg -gnata +COMMON_ADAFLAGS= -gnatpg +ifeq ($(TREECHECKING),) +CHECKING_ADAFLAGS= +else +CHECKING_ADAFLAGS= -gnata +endif WARN_ADAFLAGS= -W -Wall # For native builds, the base compiler might be old and we need to arrange for @@ -59,7 +64,8 @@ else ADAFLAGS= $(COMMON_ADAFLAGS) endif -ALL_ADAFLAGS = $(CFLAGS) $(ADA_CFLAGS) $(ADAFLAGS) $(WARN_ADAFLAGS) +ALL_ADAFLAGS = \ + $(CFLAGS) $(ADA_CFLAGS) $(ADAFLAGS) $(CHECKING_ADAFLAGS) $(WARN_ADAFLAGS) FORCE_DEBUG_ADAFLAGS = -g ADA_CFLAGS = ADA_INCLUDES = -nostdinc -I- -I. -Iada -I$(srcdir)/ada -I$(srcdir)/ada/gcc-interface |