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 2501b667d3354f4ef78821a10a09762b407c4059..e543cf44d3bd7af9e81ddacae1247a4012477b9c 100755 (executable)
--- 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