get_cvc4.sh

#build routine to install cvc4 in ./CVC4
echo "Warning: this will install antlr3 (and thus java)."
read -p "Press [Enter] to continue ..."
echo ""

sudo apt-get install antlr3 #will get java!
sudo apt-get install g++ git autoconf automake libtool libgmp-dev libantlr3c-dev libboost-thread-dev

# CVC4
git clone https://github.com/CVC4/CVC4
cd CVC4
git reset --hard 973cbd67611a2943714fd9544d098ec1472a40b8
./autogen.sh
contrib/get-antlr-3.4
./configure --enable-proof --enable-portfolio --enable-gpl
make
sudo make install
cd ..