diff options
author | ACSYS <cvc4-devel@cs.nyu.edu> | 2012-10-25 19:44:52 +0000 |
---|---|---|
committer | ACSYS <cvc4-devel@cs.nyu.edu> | 2012-10-25 19:44:52 +0000 |
commit | 0ca70692f0b1b9e5dbae1663cafa9e5bc8a13be9 (patch) | |
tree | abcb8cb2a72cc0fea5caffaf504af13bb1f7a396 /configure.ac | |
parent | 053bbbb127ba6c9ce08e76f8e707f4ce248bb99b (diff) |
more minor fixes to build system
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 44b2c0a31..ccc38cafb 100644 --- a/configure.ac +++ b/configure.ac @@ -480,9 +480,14 @@ if test -z "${enable_static_binary+set}"; then enable_static_binary=no fi AC_MSG_RESULT([$enable_static_binary]) -if test "$enable_static_binary" = yes -a "$enable_static" != yes; then - enable_static=yes - AC_MSG_WARN([forcing static-library building, --enable-static-binary given]) +if test "$nable_static_binary" = yes; then + if test "$target_os" = darwin; then + AC_MSG_ERROR([Statically-linked binaries are not supported on Mac OS. See https://developer.apple.com/library/mac/#qa/qa2001/qa1118.html]) + fi + if test "$enable_static" != yes; then + enable_static=yes + AC_MSG_WARN([forcing static-library building, --enable-static-binary given]) + fi fi AC_MSG_CHECKING([whether to support proof in libcvc4]) |