#!/bin/bash

# My first script

echo "Start Installation!"


install_findlib() {
sudo apt-get -y install ocaml-findlib
echo ¨Done findlib¨
}

install_menhir() {
sudo apt-get -y install menhir
echo ¨Done menhir¨
}

install_opam() {
opam init -y 
eval $(opam env)
echo ¨Done opam¨
}

install_opam_libs() {
opam install -y ounit
opam install -y apron
opam install -y zarith
echo ¨Done opam_libs¨
}

install_z3() {
sudo apt -y install z3
echo ¨Done z3¨
}

install_findlib
install_menhir
install_opam
install_opam_libs
install_z3

echo "Done Installation!"
