diff options
author | Tristan Gingold <gingold@adacore.com> | 2015-12-21 04:11:32 +0100 |
---|---|---|
committer | Tristan Gingold <gingold@adacore.com> | 2015-12-21 04:11:32 +0100 |
commit | 94995e112356d91e513cf583213d2644f01865a3 (patch) | |
tree | 682f14d657deadcfd6302cf2b58f5da3a4a7b402 /Makefile.in | |
parent | 396eb91b6e6783cb78cb22fe0a1f26b178d695a1 (diff) | |
download | ghdl-94995e112356d91e513cf583213d2644f01865a3.tar.gz ghdl-94995e112356d91e513cf583213d2644f01865a3.tar.bz2 ghdl-94995e112356d91e513cf583213d2644f01865a3.zip |
configure: add --enable-coverage.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index b9914e584..2333019b4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -27,6 +27,7 @@ gcc_src_dir=@gcc_src_dir@ LLVM_CONFIG=@llvm_config@ LDFLAGS=@LDFLAGS@ LIBBACKTRACE=@backtrace_lib@ +build_mode=@build_mode@ INSTALL_PROGRAM=install -m 755 INSTALL_DATA=install -m 644 @@ -54,7 +55,9 @@ ADA_FLAGS=-gnata #OPT_FLAGS+=-pg -O # Coverage -#OPT_FLAGS+=-fprofile-arcs -ftest-coverage +ifeq "$(build_mode)" "coverage" +OPT_FLAGS+=-fprofile-arcs -ftest-coverage +endif GNATFLAGS=-gnaty3befhkmr -gnatwae -aO. -gnatf -gnat05 $(OPT_FLAGS) $(ADA_FLAGS) GRT_FLAGS=$(OPT_FLAGS) |