From 28f2b1ac3db5681509913001683599111cc663cd Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 21 Jul 2017 05:14:40 +0200
Subject: configure: add --disable-checks

---
 configure | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'configure')

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
-- 
cgit v1.2.3