From e3270a01e78cd98eb1d3a86c112d9ca44699a61a Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Thu, 30 Sep 2010 20:20:39 +0000 Subject: 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 --- autoconf/configure.ac | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'autoconf') 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]]) -- cgit 1.4.1