diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-07-21 05:14:40 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-07-21 05:14:40 +0200 |
commit | 28f2b1ac3db5681509913001683599111cc663cd (patch) | |
tree | 72776d565747a2b5ef435ac9ecd2d9111df72f37 /configure | |
parent | 866e24bc5b163da2aad0f6bb5f63b7022cc1fe5c (diff) | |
download | ghdl-28f2b1ac3db5681509913001683599111cc663cd.tar.gz ghdl-28f2b1ac3db5681509913001683599111cc663cd.tar.bz2 ghdl-28f2b1ac3db5681509913001683599111cc663cd.zip |
configure: add --disable-checks
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -19,6 +19,7 @@ llvm_be=llvm build= build_mode= enable_werror=true +enable_checks=true EXEEXT= SOEXT=.so PIC_FLAGS=-fPIC @@ -26,7 +27,7 @@ PIC_FLAGS=-fPIC show_help=no progname=$0 -subst_vars="CC CXX GNATMAKE CFLAGS LDFLAGS build srcdir abs_srcdir prefix backend libdirsuffix libdirreverse gcc_src_dir llvm_config llvm_be backtrace_lib build_mode EXEEXT SOEXT PIC_FLAGS default_pie enable_werror" +subst_vars="CC CXX GNATMAKE CFLAGS LDFLAGS build srcdir abs_srcdir prefix backend libdirsuffix libdirreverse gcc_src_dir llvm_config llvm_be backtrace_lib build_mode EXEEXT SOEXT PIC_FLAGS default_pie enable_werror enable_checks" # Find srcdir srcdir=`dirname $progname` @@ -73,6 +74,8 @@ for opt do --with-backtrace-lib=*) backtrace_lib="$optarg";; --enable-werror) enable_werror=true;; --disable-werror) enable_werror=false;; + --enable-checks) enable_checks=true;; + --disable-checks) enable_checks=false;; --enable-coverage) build_mode="coverage";; -h|-help|--help) show_help=yes;; *) echo "$0: unknown option $opt; try $0 --help" @@ -94,6 +97,7 @@ Options [defaults in brackets]: --with-backtrace-lib=LIB.a link with libbacktrace LIB.a to display a backtrace on errors (only for llvm). --disable-werror warnings don't stop build + --disable-checks disable internal checks EOF exit 0 fi |