From: Mathias Preiner Date: Tue, 5 Sep 2017 22:58:59 +0000 (-0700) Subject: Fix link in configure.ac. X-Git-Tag: cvc5-1.0.0~5651 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=15486098da0e2131ca4299b9fdea1510008a60c4;p=cvc5.git Fix link in configure.ac. --- diff --git a/configure.ac b/configure.ac index a46585a77..55fa7a6ad 100644 --- a/configure.ac +++ b/configure.ac @@ -577,7 +577,7 @@ AC_MSG_RESULT([$enable_static_binary]) if test "$enable_static_binary" = yes; then if test "$target_vendor" = apple; then if test -z "$MAC_STATIC_BINARY_MANUAL_OVERRIDE"; then - AC_MSG_ERROR([[Statically-linked binaries are not supported on Mac OS. See https://developer.apple.com/library/mac/#qa/qa2001/qa1118.html . (If you ABSOLUTELY insist on this going forward and you know what you are doing, set MAC_STATIC_BINARY_MANUAL_OVERRIDE=1)]]) + AC_MSG_ERROR([[Statically-linked binaries are not supported on macOS. See https://developer.apple.com/library/content/qa/qa1118/_index.html . (If you ABSOLUTELY insist on this going forward and you know what you are doing, set MAC_STATIC_BINARY_MANUAL_OVERRIDE=1)]]) else AC_MSG_WARN([MAC_STATIC_BINARY_MANUAL_OVERRIDE was set!]) AC_MSG_WARN([Will make a static binary during this build. Note that it may fail!])