From ae6b58bba9c18954c6156223eb3df810fcf0dbbd Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Thu, 5 Aug 2010 17:53:03 +0000
Subject: Add support for Debug+Asserts configuration

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@110349 91177308-0d34-0410-b5e6-96231b3b80d8
---
 autoconf/configure.ac | 3 +++
 configure             | 5 +++++
 2 files changed, 8 insertions(+)

diff --git a/autoconf/configure.ac b/autoconf/configure.ac
index 015c4f44..3be97790 100644
--- a/autoconf/configure.ac
+++ b/autoconf/configure.ac
@@ -231,6 +231,9 @@ if test X${with_runtime} = XRelease; then
 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
diff --git a/configure b/configure
index e1622458..73264954 100755
--- a/configure
+++ b/configure
@@ -2185,6 +2185,11 @@ elif test X${with_runtime} = XDebug; then
 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;}
-- 
cgit 1.4.1