summaryrefslogtreecommitdiff
path: root/src/configure.in
diff options
context:
space:
mode:
authorMarc G. Fournier1997-04-15 18:35:50 +0000
committerMarc G. Fournier1997-04-15 18:35:50 +0000
commitf9d2ec0eba0a5024ad0f356e32ae88841f3f94e6 (patch)
treeb7447ae49769a7afb1a4580119c7592a1f2b2ac5 /src/configure.in
parent5dcc9bef6ebd6be7ba7b06d355e2cebca2b8f054 (diff)
Have CASSERT enabled/disabled via configure, and passed through config.h
instead of as a -D
Diffstat (limited to 'src/configure.in')
-rw-r--r--src/configure.in32
1 files changed, 32 insertions, 0 deletions
diff --git a/src/configure.in b/src/configure.in
index a5b144f9dc5..10ed515ef51 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -234,6 +234,38 @@ else
fi
export NOHBA
+dnl Unless we specify the command line options
+dnl --disable cassert to explicitly disable it
+dnl --enable cassert to explicitly enable it
+dnl If you do not explicitly do it, it asks you here.
+dnl We need some explanatory text here.
+echo ""
+if test "$enable_cassert" = "no"
+then
+ echo "ASSERT CHECKING disabled"
+ AC_DEFINE(NO_ASSERT_CHECKING)
+elif test "$enable_cassert" = "yes"
+then
+ echo "ASSERT CHECKING enabled"
+else
+ echo "Disabling ASSERT CHECKING will make things go a LOT faster, but"
+ echo "you will also loose a lot of useful error-checking"
+ echo ""
+ echo "Developers should *always* have this enabled"
+ $ECHO_N "Enable CASSERT { no }: $ECHO_C"
+ read a
+ if test "$a" = "yes"
+ then
+ echo "ASSERT CHECKING enabled"
+ else
+ echo "ASSERT CHECKING disabled"
+ AC_DEFINE(NO_ASSERT_CHECKING)
+ fi
+ echo "**************************************************************"
+fi
+echo ""
+
+
AC_CONFIG_HEADER(include/config.h)
dnl Checks for programs.