blob: 9a1a257a0e9a92b9be619ba1e000f9cce5eb566e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
#!/bin/bash
#
# win32-build script
# Morgan Deters <mdeters@cs.nyu.edu>
# Tue, 15 Jan 2013 11:11:24 -0500
#
if [ $# -ne 0 ]; then
echo "usage: `basename $0`" >&2
echo >&2
echo "This script attempts to build CVC4 for Win32/64 using mingw-w64." >&2
exit 1
fi
if [ -z "$HOST" ]; then
HOST=i686-w64-mingw32
echo "WARNING:"
echo "WARNING: Using default HOST value: $HOST"
echo "WARNING: You should probably run this script like this:"
echo "WARNING:"
echo "WARNING: HOST=i686-w64-mingw32 win-build"
echo "WARNING:"
echo "WARNING: (replacing the i686-w64-mingw32 with your build host)"
echo "WARNING: to ensure the script builds correctly."
echo "WARNING:"
fi
GMPVERSION=5.1.0
BOOSTVERSION=1.55.0
BOOSTBASE=boost_1_55_0
function reporterror {
echo
echo =============================================================================
echo
echo "There was an error setting up the prerequisites. Look above for details."
echo
exit 1
}
function webget {
if which curl &>/dev/null; then
curl -L "$1" >"$2"
elif which wget &>/dev/null; then
wget -c -O "$2" "$1"
else
echo "Can't figure out how to download from web. Please install wget or curl." >&2
exit 1
fi
}
for dir in antlr-3.4 gmp-$GMPVERSION boost-$BOOSTVERSION; do
if [ -e "$dir" ]; then
echo "error: $dir directory exists; please move it out of the way." >&2
exit 1
fi
done
echo =============================================================================
echo
echo "Setting up ANTLR 3.4..."
echo
MACHINE_TYPE=x86 ANTLR_CONFIGURE_ARGS=--host=$HOST contrib/get-antlr-3.4 | grep -v 'Now configure CVC4 with' | grep -v '\./configure --with-antlr-dir='
[ ${PIPESTATUS[0]} -eq 0 ] || reporterror
echo
echo =============================================================================
echo
echo "Setting up GMP $GMPVERSION..."
echo
( set -ex
mkdir gmp-$GMPVERSION
cd gmp-$GMPVERSION
gmpprefix=`pwd` &&
mkdir src &&
cd src &&
webget ftp://ftp.gmplib.org/pub/gmp-$GMPVERSION/gmp-$GMPVERSION.tar.bz2 gmp-$GMPVERSION.tar.bz2 &&
tar xfj gmp-$GMPVERSION.tar.bz2 &&
cd gmp-$GMPVERSION &&
./configure --host=$HOST --prefix="$gmpprefix" --enable-cxx &&
make &&
make install
) || exit 1
echo
echo =============================================================================
echo
echo "Setting up Boost..."
echo
( mkdir boost-$BOOSTVERSION &&
cd boost-$BOOSTVERSION &&
webget http://downloads.sourceforge.net/project/boost/boost/$BOOSTVERSION/$BOOSTBASE.tar.gz $BOOSTBASE.tar.gz &&
tar xfz $BOOSTBASE.tar.gz &&
cd $BOOSTBASE &&
./bootstrap.sh --with-toolset=gcc --prefix=`pwd`/.. --with-libraries=thread &&
echo "using gcc : mingw32 : $HOST-gcc ;" >> project-config.jam &&
cp tools/build/v2/tools/gcc.jam tools/build/v2/tools/gcc.jam.orig &&
sed 's,option = -pthread ; libs = rt ;,,' tools/build/v2/tools/gcc.jam.orig > tools/build/v2/tools/gcc.jam &&
./b2 gcc-mingw32 threadapi=win32 link=static install ) || exit 1
echo
echo =============================================================================
echo
echo 'Now just run:'
echo " ./configure --enable-static-binary --disable-shared --host=$HOST LDFLAGS=\"-L`pwd`/gmp-$GMPVERSION/lib -L`pwd`/antlr-3.4/lib -L`pwd`/boost-$BOOSTVERSION/lib\" CPPFLAGS=\"-I`pwd`/gmp-$GMPVERSION/include -I`pwd`/antlr-3.4/include -I`pwd`/boost-$BOOSTVERSION/include\" --with-antlr-dir=\"`pwd`/antlr-3.4\" ANTLR=\"`pwd`/antlr-3.4/bin/antlr3\""
echo ' make'
echo
echo =============================================================================
|