Install CVC4 from GitHub

cvc4_install.sh

#!/bin/bash

# script for installing CVC4 SMT solver locally
# CVC4 will be installed in $HOME/cvc4pref/bin

# exit on error
set -e

# clone repo from github
git clone https://github.com/cvc4/cvc4

# install cvc4 locally
mkdir -p cvc4pref
CVC4PREF=$HOME/cvc4pref

# change directory to checkout
cd cvc4/

# to build from github checkout
sudo apt-get install make autoconf libtool

# to build
sudo apt-get install gcc g++ libgmp3-dev libboost-dev g++-multilib gcc-multilib

./autogen.sh
./contrib/get-antlr-3.4
./configure --with-antlr-dir=`pwd`/antlr-3.4 ANTLR=`pwd`/antlr-3.4/bin/antlr3 --prefix=$CVC4PREF
make
make check
make install