From 94995e112356d91e513cf583213d2644f01865a3 Mon Sep 17 00:00:00 2001
From: Tristan Gingold
Date: Mon, 21 Dec 2015 04:11:32 +0100
Subject: configure: add --enable-coverage.

---
 Makefile.in | 5 ++++-
 configure   | 4 +++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index b9914e5..2333019 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)
diff --git a/configure b/configure
index a935b2d..2944fd4 100755
--- a/configure
+++ b/configure
@@ -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
-- 
cgit