4 # Morgan Deters <mdeters@cs.nyu.edu>
5 # Tue, 25 Sep 2012 15:44:27 -0400
8 macports_prereq
="boost gmp gtime readline"
10 export PATH
="/opt/local/bin:$PATH"
13 echo "usage: `basename $0`" >&2
15 echo "This script attempts to set up the build requirements for CVC4 for Mac OS X." >&2
16 echo "MacPorts must be installed (but this script installs prerequisite port" >&2
17 echo "packages for CVC4). If this script is successful, it prints a configure" >&2
18 echo "line that you can use to configure CVC4." >&2
22 function reporterror
{
24 echo =============================================================================
26 echo "There was an error setting up the prerequisites. Look above for details."
31 echo =============================================================================
33 echo "running: sudo port install $macports_prereq"
34 if which port
&>/dev
/null
; then
35 echo "You may be asked for your password to install these packages."
37 sudo port
install $macports_prereq || reporterror
40 echo "ERROR: You must have MacPorts installed for Mac builds of CVC4."
41 echo "ERROR: See http://www.macports.org/"
45 echo =============================================================================
47 contrib
/get-antlr-3.4 |
grep -v 'Now configure CVC4 with' |
grep -v '\./configure --with-antlr-dir='
48 [ ${PIPESTATUS[0]} -eq 0 ] || reporterror
50 echo =============================================================================
53 echo ' ./configure LDFLAGS=-L/opt/local/lib CPPFLAGS=-I/opt/local/include --with-antlr-dir=`pwd`/antlr-3.4 ANTLR=`pwd`/antlr-3.4/bin/antlr3'
56 echo =============================================================================