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

---
 Makefile.in | 21 ++++++++++++---------
 1 file changed, 12 insertions(+), 9 deletions(-)

(limited to 'Makefile.in')

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