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 /Makefile.in | |
parent | 866e24bc5b163da2aad0f6bb5f63b7022cc1fe5c (diff) | |
download | ghdl-28f2b1ac3db5681509913001683599111cc663cd.tar.gz ghdl-28f2b1ac3db5681509913001683599111cc663cd.tar.bz2 ghdl-28f2b1ac3db5681509913001683599111cc663cd.zip |
configure: add --disable-checks
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 21 |
1 files changed, 12 insertions, 9 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 |