diff options
| author | Marc G. Fournier | 1997-04-15 18:35:50 +0000 |
|---|---|---|
| committer | Marc G. Fournier | 1997-04-15 18:35:50 +0000 |
| commit | f9d2ec0eba0a5024ad0f356e32ae88841f3f94e6 (patch) | |
| tree | b7447ae49769a7afb1a4580119c7592a1f2b2ac5 /src/configure.in | |
| parent | 5dcc9bef6ebd6be7ba7b06d355e2cebca2b8f054 (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.in | 32 |
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. |
