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 | |
parent | 866e24bc5b163da2aad0f6bb5f63b7022cc1fe5c (diff) | |
download | ghdl-28f2b1ac3db5681509913001683599111cc663cd.tar.gz ghdl-28f2b1ac3db5681509913001683599111cc663cd.tar.bz2 ghdl-28f2b1ac3db5681509913001683599111cc663cd.zip |
configure: add --disable-checks
-rw-r--r-- | Makefile.in | 21 | ||||
-rwxr-xr-x | configure | 6 |
2 files changed, 17 insertions, 10 deletions
diff --git a/Makefile.in b/Makefile.in index cc2f4000d..0d22854ba 100644 --- a/Makefile.in +++ b/Makefile.in @@ -35,6 +35,7 @@ LIBBACKTRACE=@backtrace_lib@ llvm_be=@llvm_be@ build_mode=@build_mode@ enable_werror=@enable_werror@ +enable_checks=@enable_checks@ INSTALL_PROGRAM=install -m 755 INSTALL_DATA=install -m 644 @@ -52,15 +53,17 @@ GRT_RANLIB=ranlib VHDL_LIB_DIR=$(prefix)/$(libdirsuffix) -# Debug -OPT_FLAGS=-g -ADA_FLAGS=-gnata -LIB_CFLAGS= - -# Optimize, do not forget to use MODE=--genfast for iirs.adb. -#ADA_FLAGS+=-gnatpn -#OPT_FLAGS+=-O -#LIB_CFLAGS=-O +ifeq "$(enable_checks)" "true" + # Debug + checks + OPT_FLAGS=-g + ADA_FLAGS=-gnata + LIB_CFLAGS= +else + # Optimize + no checks + ADA_FLAGS+=-gnatpn + OPT_FLAGS+=-O + LIB_CFLAGS=-O +endif # Profiling. #ADA_FLAGS+=-gnatn @@ -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 |