## Install LZIP (needed to unpack GMP):

wget http://download.savannah.gnu.org/releases/lzip/lzip-1.15.tar.gz

gunzip lzip-1.15.tar.gz 
tar -xvf lzip-1.15.tar 
cd lzip-1.15

./configure —prefix=HOMEDIRECTORY/local
make
cd ..



## Download and install GMP:

wget https://gmplib.org/download/gmp/gmp-6.0.0a.tar.lz
./lzip-1.15/lzip -d gmp-6.0.0a.tar.lz
tar -xvf gmp-6.0.0a.tar 
cd gmp-6.0.0

./configure  --enable-cxx --prefix= HOMEDIRECTORY/local/
make
make check
make install
cd ..

## Download and install BOOST:

wget http://sourceforge.net/projects/boost/files/boost/1.59.0/boost_1_59_0.tar.gz
tar -xvf boost_1_59_0.tar.gz 
cd boost_1_59_0
./bootstrap.sh --prefix= HOMEDIRECTORY/local
./b2 install
cd ..


# Download SDPB:

git clone https://github.com/davidsd/sdpb.git

## edit Makefile and set:
## GMPINCLUDEDIR   = HOMEDIRECTORY/local/include
## BOOSTINCLUDEDIR = HOMEDIRECTORY/local/include/boost
## LIBDIR          = HOMEDIRECTORY/local/lib

## make sure LIBDIR is in $LD_LIBRARY_PATH
##

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH: HOMEDIRECTORY/local/lib/

##
## you might want to include this definition in your .bashrc file, so that it contains the following:
## if [ -f /etc/bashrc ]; then
##        . /etc/bashrc
##        LD_LIBRARY_PATH=/home/vichi/CFT/local/lib/
##        export LD_LIBRARY_PATH
## fi


## install SDPB:

make