#!/bin/bash

set -e

git clone --depth 1 https://github.com/eth-sri/ERAN.git
cd ERAN

git clone https://github.com/eth-sri/ELINA.git
cd ELINA
grep -inlr 'gurobi90' . | xargs sed -i 's/gurobi90/gurobi91/'
./configure -use-deeppoly -use-gurobi -use-fconv --cdd-prefix /usr/include/cddlib
make
make install
cd ..

git clone https://github.com/eth-sri/deepg.git
cd deepg/code
grep -inlr 'gurobi90' . | xargs sed -i 's/gurobi90/gurobi91/'
mkdir build
make shared_object
install ./build/libgeometric.so /usr/lib
cd ../..