HOWTO-smtcomp-2016.txt

#!/bin/bash
set -e
set -x

sudo yum -y groupinstall 'Development Tools'
sudo yum -y install boost-devel
sudo yum -y install cmake
sudo yum -y install zlib-devel
sudo yum -y install boost-static
sudo yum -y install libstdc++-static
sudo yum -y install glibc-static

wget https://bitbucket.org/malb/m4ri/downloads/m4ri-20140914.tar.gz
tar xzvf m4ri-20140914.tar.gz
echo "Building m4ri"
(
cd m4ri-20140914
./configure
make distclean
./configure
make -j2
sudo make install
)

git clone --depth 10 https://github.com/niklasso/minisat
echo "Building minisat"
(
cd minisat
mkdir build
cd build
cmake ..
make -j4
sudo make install
)

git clone --depth 10 https://github.com/msoos/cryptominisat.git
echo "Building CryptoMiniSat"
(
cd cryptominisat
mkdir build
cd build
rm -rf cm* CM* lib* cryptomini* Testing* tests* pycryptosat include tests
cmake -DREQUIRE_M4RI=ON -DSTATICCOMPILE=ON -DENABLE_PYTHON_INTERFACE=OFF -DNOVALGRIND=ON -DNOZLIB=ON -DONLY_SIMPLE=ON -DSTATICCOMPILE=ON -DCMAKE_BUILD_TYPE=Release ..
make -j4
sudo make install
#ldd cryptominisat4_simple
)


git clone --depth 10 https://github.com/stp/stp.git
echo "Building STP"
(
cd stp
mkdir build
cd build
rm -rf stp* tests tools lib bindings include
rm -rf cmake* CM* Makefile ./*.cmake
cmake -DBUILD_STATIC_BIN=ON -DCMAKE_BUILD_TYPE=Release -DBUILD_SHARED_LIBS=OFF -DFORCE_CMS=ON   ..
make -j4
#ldd stp-2.1.2
)