From 20897efe113ff62e5a91840933a0b424e32f6771 Mon Sep 17 00:00:00 2001
From: ACSYS <cvc4-devel@cs.nyu.edu>
Date: Thu, 25 Oct 2012 19:56:39 +0000
Subject: [PATCH] last build system fix for now: fix some typos affecting Mac

---
 configure.ac | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.30.2