diff options
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]) |