diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 5e4d3a371..f94f07419 100644 --- a/configure.ac +++ b/configure.ac @@ -379,6 +379,7 @@ echo ./config.status "\$@" EOF chmod +x config.reconfig fi + ln -sf "builds/$target/$build_type/config.log" "config.log" exit $exitval else AC_MSG_RESULT([this one (user-specified)]) @@ -929,7 +930,7 @@ if test "$enable_thread_support" = no; then fi else BOOST_THREADS([], [AC_MSG_WARN([disabling multithreaded support]) - cvc4_has_threads=no]) + cvc4_has_threads=no]) fi LDFLAGS="$cvc4_save_LDFLAGS" if test $cvc4_has_threads = no; then @@ -1129,6 +1130,8 @@ else AC_SUBST([CVC4_HAS_THREADS], 0) fi +AM_CONDITIONAL([CVC4_NEEDS_REPLACEMENT_FUNCTIONS], [test -n "$LTLIBOBJS"]) + CVC4_CONFIG_FILE_ONLY_IF_CHANGED([src/util/rational.h]) CVC4_CONFIG_FILE_ONLY_IF_CHANGED([src/util/integer.h]) CVC4_CONFIG_FILE_ONLY_IF_CHANGED([src/util/tls.h]) |