#!/bin/bash

# My first script

echo "Start Installation!"


install_menhir() {
sudo dpkg -i lib/menhir_20200123-2_amd64.deb
sudo dpkg -i lib/m4/*
sudo dpkg -i lib/z3_4.8.7-4build1_amd64.deb
echo ¨Done menhir, m4, and z3¨
}

install_conf() {
sudo dpkg -i lib/libgmp-dev/* 
opam pin -y add conf-gmp lib/conf-gmp.2
sudo dpkg -i lib/libmpfr-dev_4.0.2-1_amd64.deb
opam pin -y add conf-mpfr lib/conf-mpfr.2
echo ¨Done conf¨
}

install_apron() {
opam pin -y add conf-perl lib/conf-perl.1  
opam pin -y add camlidl lib/camlidl.1.09
opam pin -y add mlgmpidl lib/mlgmpidl.1.2.12
opam pin -y add ocamlbuild lib/ocamlbuild.0.14.0
opam pin -y apron lib/apron.v0.9.13/
opam pin -y zarith lib/zarith.1.10/	
}


install_menhir
install_conf
install_apron

echo "Done Installation!"
