diff options
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; } |