Add KLEE specific DEBUG macros.

 - This allows us to build in +Asserts mode even when LLVM isn't (by disabling
   the checks in that mode).

 - Eventually it would be nice to just move off of LLVM's DEBUG infrastructure
   entirely and just have our own copy, but this works for now.

 - Fixes #150.

1 files changed, 15 insertions, 0 deletions

diff --git a/configure b/configure
index 039617d7..38404d73 100755
--- a/configure
+++ b/configure
@@ -2145,6 +2145,21 @@ echo "${ECHO_T}$llvm_build_mode" >&6; }
 LLVM_BUILD_MODE=$llvm_build_mode
 
 
+{ echo "$as_me:$LINENO: checking llvm has asserts enabled" >&5
+echo $ECHO_N "checking llvm has asserts enabled... $ECHO_C" >&6; }
+if test `expr "$llvm_build_mode" : ".*Asserts.*"` -ne 0; then
+   llvm_has_asserts_enabled=1
+
+cat >>confdefs.h <<_ACEOF
+#define ENABLE_KLEE_DEBUG 1
+_ACEOF
+
+else
+   llvm_has_asserts_enabled=0
+fi
+{ echo "$as_me:$LINENO: result: $llvm_has_asserts_enabled" >&5
+echo "${ECHO_T}$llvm_has_asserts_enabled" >&6; }
+
 
 { echo "$as_me:$LINENO: checking LLVM Bitcode compiler" >&5
 echo $ECHO_N "checking LLVM Bitcode compiler... $ECHO_C" >&6; }