Install everything! WARNING: Modifiles a lot of stuff in home directory!

install.sh

#!/bin/bash

if [[ "$1" == "ldvsoft" ]] ; then
	if [[ `lsb_release -cs` != "xenial" ]] ; then
		echo "Script designed to run on Ubuntu 16.04 (xenial)"
		exit 1
	fi
	sudo add-apt-repository -y ppa:lapshin-dv/ppa
	sudo apt-get update
	sudo apt-get install -y aptitude ldvsoft-env-tmux ldvsoft-env-bash-prompt
fi
sudo apt-get install -y m4 git g++-multilib
sudo apt-get install -y --no-install-recommends opam

if dpkg --compare-versions 1.2.2 gt `opam --version` ; then
	echo "This Debian-like release has too old opam. Install it manually :("
	exit 1
fi

opam init --compiler=4.03.0 -y
opam config setup -u --profile
eval `opam config env`

opam pin add logger  https://github.com/dboulytchev/logger.git  -y -n
opam pin add GT      https://github.com/dboulytchev/GT.git      -y -n
opam pin add ostap   https://github.com/dboulytchev/ostap.git   -y -n
opam pin add ocanren https://github.com/dboulytchev/ocanren.git -y -n

opam pin add camlp5  https://github.com/kakadu/camlp5.git       -y -n

opam install GT -y
opam install ostap -y
opam install ocanren -y