From: ACSYS <cvc4-devel@cs.nyu.edu>
Date: Thu, 25 Oct 2012 19:56:39 +0000 (+0000)
Subject: last build system fix for now: fix some typos affecting Mac
X-Git-Tag: cvc5-1.0.0~7670
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=20897efe113ff62e5a91840933a0b424e32f6771;p=cvc5.git

last build system fix for now: fix some typos affecting Mac
---

diff --git a/configure.ac b/configure.ac
index b0940c965..2c67be865 100644
--- a/configure.ac
+++ b/configure.ac
@@ -480,8 +480,8 @@ if test -z "${enable_static_binary+set}"; then
   enable_static_binary=no
 fi
 AC_MSG_RESULT([$enable_static_binary])
-if test "$nable_static_binary" = yes; then
-  if test "$target_os" = darwin; then
+if test "$enable_static_binary" = yes; then
+  if test "$target_vendor" = apple; 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