last build system fix for now: fix some typos affecting Mac
authorACSYS <cvc4-devel@cs.nyu.edu>
Thu, 25 Oct 2012 19:56:39 +0000 (19:56 +0000)
committerACSYS <cvc4-devel@cs.nyu.edu>
Thu, 25 Oct 2012 19:56:39 +0000 (19:56 +0000)
configure.ac

index b0940c965ea431beed52898ab72e16ea4d35560a..2c67be865cb9d63a12f07fb479d5898eaab1c715 100644 (file)
@@ -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