blob: 7195ceb0ee0f99ed914175f2d5b9e092f07286d4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/bash -x
# Get Boost, Z3, libgmp
sudo apt-get -y install libboost1.55-dev libz3 libz3-dev libgmp-dev
# Clone
git clone git://github.com/hoangmle/metaSMT.git
cd metaSMT
git clone git://github.com/agra-uni-bremen/dependencies.git
# Bootstrap
export BOOST_ROOT=/usr
sudo cp dependencies/Z3-2.19/Z3Config.cmake /usr # this is a hack
./bootstrap.sh -d deps -m RELEASE build -DmetaSMT_ENABLE_TESTS=off --build stp-git-basic --build boolector-2.2.0 --build minisat-git --build lingeling-ayv-86bf266-140429 -DZ3_DIR=/usr
sudo cp deps/boolector-2.2.0/lib/* /usr/lib/ #
sudo cp deps/lingeling-ayv-86bf266-140429/lib/* /usr/lib/ #
sudo cp deps/minisat-git/lib/* /usr/lib/ # hack
sudo cp deps/stp-git-basic/lib/* /usr/lib/ #
# Build
make -C build install
|
