diff options
author | Daniel Dunbar <daniel@zuster.org> | 2010-09-30 20:20:41 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2010-09-30 20:20:41 +0000 |
commit | 4ba56583e02740f50c642dcac1a70db06bd5f111 (patch) | |
tree | 666f287fa8dfc38f6a097d129157859f5a37bc64 /configure | |
parent | e3270a01e78cd98eb1d3a86c112d9ca44699a61a (diff) | |
download | klee-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-x | configure | 12 |
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; } |