[klee] r110349 - in /klee/trunk: autoconf/configure.ac configure

[Peter Collingbourne]

Author: pcc
Date: Thu Aug  5 12:53:03 2010
New Revision: 110349

URL: http://llvm.org/viewvc/llvm-project?rev=110349&view=rev
Log:
Add support for Debug+Asserts configuration

Modified:
    klee/trunk/autoconf/configure.ac
    klee/trunk/configure

Modified: klee/trunk/autoconf/configure.ac
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/autoconf/configure.ac?rev=110349&r1=110348&r2=110349&view=diff
==============================================================================
--- klee/trunk/autoconf/configure.ac (original)
+++ klee/trunk/autoconf/configure.ac Thu Aug  5 12:53:03 2010
@@ -231,6 +231,9 @@
 elif test X${with_runtime} = XDebug; then
    AC_MSG_RESULT([Debug])
    AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[0]])
+elif test X${with_runtime} = XDebug+Asserts; then
+   AC_MSG_RESULT([Debug+Asserts])
+   AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[0]])
 else
    AC_MSG_ERROR([invalid configuration: ${with_runtime}])
 fi

Modified: klee/trunk/configure
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/configure?rev=110349&r1=110348&r2=110349&view=diff
==============================================================================
--- klee/trunk/configure (original)
+++ klee/trunk/configure Thu Aug  5 12:53:03 2010
@@ -2185,6 +2185,11 @@
 echo "${ECHO_T}Debug" >&6; }
    RUNTIME_ENABLE_OPTIMIZED=0
 
+elif test X${with_runtime} = XDebug+Asserts; then
+   { echo "$as_me:$LINENO: result: Debug+Asserts" >&5
+echo "${ECHO_T}Debug+Asserts" >&6; }
+   RUNTIME_ENABLE_OPTIMIZED=0
+
 else
    { { echo "$as_me:$LINENO: error: invalid configuration: ${with_runtime}" >&5
 echo "$as_me: error: invalid configuration: ${with_runtime}" >&2;}