about summary refs log tree commit diff homepage
path: root/configure
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2010-09-30 20:20:41 +0000
committerDaniel Dunbar <daniel@zuster.org>2010-09-30 20:20:41 +0000
commit4ba56583e02740f50c642dcac1a70db06bd5f111 (patch)
tree666f287fa8dfc38f6a097d129157859f5a37bc64 /configure
parente3270a01e78cd98eb1d3a86c112d9ca44699a61a (diff)
downloadklee-4ba56583e02740f50c642dcac1a70db06bd5f111.tar.gz
Regenerate.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115197 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 11 insertions, 1 deletions
diff --git a/configure b/configure
index 73264954..20fa9046 100755
--- a/configure
+++ b/configure
@@ -2168,11 +2168,16 @@ else
   withval=default
 fi
 
-
 if test X"${withval}" = Xdefault; then
    with_runtime=Release
 fi
 
+if !(test $llvm_version_major == 2 &&
+    test $llvm_version_minor -lt 8 &&
+    test "$with_runtime" == "Release"); then
+  with_runtime=Release+Asserts
+fi
+
 { echo "$as_me:$LINENO: checking runtime configuration" >&5
 echo $ECHO_N "checking runtime configuration... $ECHO_C" >&6; }
 if test X${with_runtime} = XRelease; then
@@ -2180,6 +2185,11 @@ if test X${with_runtime} = XRelease; then
 echo "${ECHO_T}Release" >&6; }
     RUNTIME_ENABLE_OPTIMIZED=1
 
+elif test X${with_runtime} = XRelease+Asserts; then
+    { echo "$as_me:$LINENO: result: Release+Asserts" >&5
+echo "${ECHO_T}Release+Asserts" >&6; }
+    RUNTIME_ENABLE_OPTIMIZED=1
+
 elif test X${with_runtime} = XDebug; then
    { echo "$as_me:$LINENO: result: Debug" >&5
 echo "${ECHO_T}Debug" >&6; }