From: Chris Conway <clconway@google.com>
Date: Thu, 26 Nov 2015 22:57:03 +0000 (-0800)
Subject: Adds required steps to contrib/mac-build.
X-Git-Tag: cvc5-1.0.0~6155^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d08ec138869fa473713192f8477920299dec2572;p=cvc5.git

Adds required steps to contrib/mac-build.

autogen.sh must be run before get-antlr-3.4 or it fails with
    I need the file config/config.guess to tell MACHINE_TYPE

autogen.sh can't run unless the autoconf, automake and libtools
MacPorts packages are installed.
---

diff --git a/contrib/mac-build b/contrib/mac-build
index 2501b667d..e543cf44d 100755
--- a/contrib/mac-build
+++ b/contrib/mac-build
@@ -5,7 +5,7 @@
 # Tue, 25 Sep 2012 15:44:27 -0400
 #
 
-macports_prereq="boost gmp gtime readline"
+macports_prereq="autoconf automake boost gmp gtime libtool readline"
 
 export PATH="/opt/local/bin:$PATH"
 
@@ -44,6 +44,11 @@ fi
 echo
 echo =============================================================================
 echo
+echo "running: ./autogen.sh"
+./autogen.sh || reporterror
+echo
+echo =============================================================================
+echo
 contrib/get-antlr-3.4 | grep -v 'Now configure CVC4 with' | grep -v '\./configure --with-antlr-dir='
 [ ${PIPESTATUS[0]} -eq 0 ] || reporterror
 echo