7 cd "$(dirname "$0")/.."
9 if ! [ -e src
/parser
/cvc
/Cvc.g
]; then
10 echo "$(basename $0): I expect to be in the contrib/ of a CVC4 source tree," >&2
11 echo "but apparently:" >&2
15 echo "is not a CVC4 source tree ?!" >&2
20 if which wget
&>/dev
/null
; then
22 elif which curl
&>/dev
/null
; then
25 echo "Can't figure out how to download from web. Please install wget or curl." >&2
30 if [ -z "${MACHINE_TYPE}" ]; then
31 # get first nibble from config.guess (x86_64, i686, ...)
32 MACHINE_TYPE
=`config/config.guess | sed 's,-.*,,'`
37 webget https
://bitbucket.org
/alanmi
/abc
/get
/$commit.
tar.gz abc-
$commit.
tar.gz
38 gunzip
-f abc-
$commit.
tar.gz
39 tar xfv abc-
$commit.
tar
42 cp src
/base
/main
/main.c src
/base
/main
/main.c.orig
43 sed 's,^// *#define ABC_LIB *$,#define ABC_LIB,' src
/base
/main
/main.c.orig
> src
/base
/main
/main.c
45 make libabc.a OPTFLAGS
=-O
46 mv libabc.a libabc-static.a
48 make libabc.a OPTFLAGS
='-O -fPIC'
51 echo ===================== Now configure CVC4 with
=====================
52 echo .
/configure
--with-abc=`pwd`