diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-11 21:32:49 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-12 05:46:11 -0400 |
commit | 4df358fbde6c25f4ac1922e6f03822c751b1f739 (patch) | |
tree | 5d35441e0f5457797028b7417fd4e48edbfd4051 /contrib/get-abc | |
parent | 84c428181fa336c727def95cef3f0a9e9d1f1278 (diff) |
Draft contrib/get-abc script for bitvectors libabc support.
Diffstat (limited to 'contrib/get-abc')
-rwxr-xr-x | contrib/get-abc | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/contrib/get-abc b/contrib/get-abc new file mode 100755 index 000000000..535c0decf --- /dev/null +++ b/contrib/get-abc @@ -0,0 +1,52 @@ +#!/bin/bash -x +# +set -e + +commit=0c11cea52a36 + +cd "$(dirname "$0")/.." + +if ! [ -e src/parser/cvc/Cvc.g ]; then + echo "$(basename $0): I expect to be in the contrib/ of a CVC4 source tree," >&2 + echo "but apparently:" >&2 + echo >&2 + echo " $(pwd)" >&2 + echo >&2 + echo "is not a CVC4 source tree ?!" >&2 + exit 1 +fi + +function webget { + if which wget &>/dev/null; then + wget -c -O "$2" "$1" + elif which curl &>/dev/null; then + curl "$1" >"$2" + else + echo "Can't figure out how to download from web. Please install wget or curl." >&2 + exit 1 + fi +} + +if [ -z "${MACHINE_TYPE}" ]; then + # get first nibble from config.guess (x86_64, i686, ...) + MACHINE_TYPE=`config/config.guess | sed 's,-.*,,'` +fi + +mkdir -p abc +cd abc +webget https://bitbucket.org/alanmi/abc/get/$commit.tar.gz abc-$commit.tar.gz +gunzip -f abc-$commit.tar.gz +tar xfv abc-$commit.tar +cd alanmi-abc-$commit + +cp src/base/main/main.c src/base/main/main.c.orig +sed 's,^// *#define ABC_LIB *$,#define ABC_LIB,' src/base/main/main.c.orig > src/base/main/main.c + +make libabc.a OPTFLAGS=-O +mv libabc.a libabc-static.a +make clean +make libabc.a OPTFLAGS='-O -fPIC' + +echo +echo ===================== Now configure CVC4 with ===================== +echo ./configure --with-abc=`pwd` |