aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 5 insertions, 1 deletions
diff --git a/configure b/configure
index 59687800c..7e374d56b 100755
--- a/configure
+++ b/configure
@@ -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