diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-09-30 20:20:39 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-09-30 20:20:39 +0000 |
| commit | e3270a01e78cd98eb1d3a86c112d9ca44699a61a (patch) | |
| tree | 0e7b32fca1d20662d60e339b1b5432f8b5ec408e | |
| parent | 2aac6617fb3f48c04e1c951c460926b9f38a67a7 (diff) | |
| download | klee-e3270a01e78cd98eb1d3a86c112d9ca44699a61a.tar.gz | |
Tweak configure to deal with another LLVM "Release -> Release+Asserts" rename on
TOT. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115196 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | autoconf/configure.ac | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 3be97790..83d9e71c 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -219,15 +219,23 @@ AC_ARG_WITH(runtime, AS_HELP_STRING([--with-runtime], [Select build configuration for runtime libraries (default [Release])]),, withval=default) - 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 + AC_MSG_CHECKING([runtime configuration]) if test X${with_runtime} = XRelease; then AC_MSG_RESULT([Release]) AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[1]]) +elif test X${with_runtime} = XRelease+Asserts; then + AC_MSG_RESULT([Release+Asserts]) + AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[1]]) elif test X${with_runtime} = XDebug; then AC_MSG_RESULT([Debug]) AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[0]]) |