From 71b6ae134cb0ffd4281a5ae6866ef1bc0ff04dcb Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 23 Dec 2014 07:01:04 +0100 Subject: Makefile.in: add ADA_FLAGS. --- Makefile.in | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/Makefile.in b/Makefile.in index af1d22e36..947bd2639 100644 --- a/Makefile.in +++ b/Makefile.in @@ -39,20 +39,25 @@ GRT_RANLIB=ranlib VHDL_LIB_DIR=$(prefix)/$(libdirsuffix) ADAC=$(CC) -GNATFLAGS=-gnaty3befhkmr -gnata -gnatwae -aO. -g -gnatf -gnat05 -GRT_FLAGS=-g -LIB_CFLAGS=-g -O2 +# Debug +ADA_FLAGS=-g -gnata # Optimize, do not forget to use MODE=--genfast for iirs.adb. -#GNATFLAGS+=-O -gnatn +#ADA_FLAGS+=-O -gnatpn #GRT_FLAGS+=-O # Profiling. -#GNATFLAGS+=-pg -gnatn -O +#ADA_FLAGS+=-pg -gnatn -O #GRT_FLAGS+=-pg -O # Coverage -#GNATFLAGS+=-fprofile-arcs -ftest-coverage +#ADA_FLAGS+=-fprofile-arcs -ftest-coverage + +GRT_FLAGS=-g +LIB_CFLAGS=-g -O2 + +GNATFLAGS=-gnaty3befhkmr -gnatwae -aO. -gnatf -gnat05 $(ADA_FLAGS) + GNAT_BARGS=-bargs -E -- cgit v1.2.3