diff options
| author | Chris Conway <clconway@google.com> | 2015-11-26 14:57:03 -0800 |
|---|---|---|
| committer | Chris Conway <clconway@google.com> | 2015-11-26 14:57:15 -0800 |
| commit | d08ec138869fa473713192f8477920299dec2572 (patch) | |
| tree | 345599c56cdc1ce61e9545e39c588b9ec02ae107 /contrib | |
| parent | 670cc5fccd6e98e88c9eeedfede07d053faad26e (diff) | |
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.
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/mac-build | 7 |
1 files changed, 6 insertions, 1 deletions
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 |