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 /configure | |
| parent | 396eb91b6e6783cb78cb22fe0a1f26b178d695a1 (diff) | |
| download | ghdl-94995e112356d91e513cf583213d2644f01865a3.tar.gz ghdl-94995e112356d91e513cf583213d2644f01865a3.tar.bz2 ghdl-94995e112356d91e513cf583213d2644f01865a3.zip | |
configure: add --enable-coverage.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |