diff options
| -rw-r--r-- | Makefile.in | 5 | ||||
| -rwxr-xr-x | configure | 4 |
2 files changed, 7 insertions, 2 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) @@ -16,11 +16,12 @@ gcc_version=unknown llvm_config= backtrace_lib= build= +build_mode= show_help=no progname=$0 -subst_vars="CC GNATMAKE CFLAGS LDFLAGS build srcdir prefix backend libdirsuffix libdirreverse gcc_src_dir llvm_config backtrace_lib" +subst_vars="CC GNATMAKE CFLAGS LDFLAGS build srcdir prefix backend libdirsuffix libdirreverse gcc_src_dir llvm_config backtrace_lib build_mode" # Find srcdir srcdir=`dirname $progname` @@ -73,6 +74,7 @@ for opt do --with-llvm-config) llvm_config="llvm-config"; backend=llvm;; --with-llvm-config=*) llvm_config="$optarg"; backend=llvm;; --with-backtrace-lib=*) backtrace_lib="$optarg";; + --enable-coverage) build_mode="coverage";; -h|-help|--help) show_help=yes;; *) echo "$0: unknown option $opt; try $0 --help" exit 1 |