diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-08-30 20:55:27 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-30 20:55:27 -0700 |
| commit | 546d795470ca7c30fc62fe9b6c7b8e5838e1eed4 (patch) | |
| tree | 443f7101c4246b684ce21a04704d769eb2db15ad /configure.ac | |
| parent | d7dadde871ae4775748695b0b7f9deee49576c0a (diff) | |
Use thread_local instead of compiler extensions (#210)
C++11 introduced the thread_local keyword, so we don't need to use
non-standard extensions or our custom pthread extension anymore.
The behavior was previously introduced as a workaround in commit
753a072c542c1c254d7c6adbf10e091ba585ede5. This commit
introduces the macro CVC4_THREAD_LOCAL that can be used to
declare variables as thread local. For Swig, this macro is defined to
be empty.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/configure.ac b/configure.ac index 1c0240f36..a46585a77 100644 --- a/configure.ac +++ b/configure.ac @@ -1213,35 +1213,6 @@ fi AC_SUBST(CVC4_BUILD_LIBCOMPAT) AM_CONDITIONAL([CVC4_BUILD_LIBCOMPAT], [test "$CVC4_BUILD_LIBCOMPAT" = yes]) -# Check for availability of TLS support (e.g. __thread storage class) -AC_MSG_CHECKING([whether to use compiler-supported TLS if available]) -AC_ARG_ENABLE([tls], AS_HELP_STRING([--disable-tls], [don't use compiler-native TLS])) -if test $cvc4_has_threads = no; then - # We disable TLS entirely by simply telling the build system that - # the empty string is the __thread keyword. - AC_MSG_RESULT([multithreading disabled]) - CVC4_TLS_SUPPORTED=1 - CVC4_TLS= - CVC4_TLS_explanation='disabled (no multithreading support)' -else - if test -z "${enable_tls+set}" || test "$enable_tls" = "yes"; then - AC_MSG_RESULT([yes]) - AX_TLS([CVC4_TLS=$ac_cv_tls], [CVC4_TLS=]) - else - AC_MSG_RESULT([no]) - CVC4_TLS= - fi - if test -n "$CVC4_TLS"; then - CVC4_TLS_SUPPORTED=1 - CVC4_TLS_explanation="$CVC4_TLS" - else - CVC4_TLS_explanation='pthread_getspecific()' - CVC4_TLS_SUPPORTED=0 - fi -fi -AC_SUBST([CVC4_TLS]) -AC_SUBST([CVC4_TLS_SUPPORTED]) - # Whether to compile with google profiling tools cvc4_use_google_perftools=0 AC_ARG_WITH( @@ -1499,7 +1470,6 @@ if test -n "$CVC4_LANGUAGE_BINDINGS"; then fi fi -CVC4_CONFIG_FILE_ONLY_IF_CHANGED([src/base/tls.h]) CVC4_CONFIG_FILE_ONLY_IF_CHANGED([src/util/integer.h]) CVC4_CONFIG_FILE_ONLY_IF_CHANGED([src/util/rational.h]) @@ -1540,7 +1510,6 @@ Compat lib : $CVC4_BUILD_LIBCOMPAT Bindings : $bindings_to_be_built Multithreaded: $support_multithreaded -TLS support : $CVC4_TLS_explanation Portfolio : $with_portfolio MP library : $mplibrary |