[PATCH 1/4] Add support for Debug+Asserts configuration
Peter Collingbourne
peter at pcc.me.uk
Wed Aug 4 08:27:14 PDT 2010
---
autoconf/configure.ac | 3 +++
configure | 5 +++++
2 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/autoconf/configure.ac b/autoconf/configure.ac
index 015c4f4..3be9779 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 e162245..7326495 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;}
--
1.7.1
--+HP7ph2BbKc20aGI
Content-Type: text/x-diff; charset=us-ascii
Content-Disposition: attachment; filename="0002-Use-CallSite-in-StatsTracker-computeReachableUncover.patch"
More information about the klee-commits
mailing list