diff --git a/ubuntu/installer.sh b/ubuntu/installer.sh index c3da3e1..a5826b2 100644 --- a/ubuntu/installer.sh +++ b/ubuntu/installer.sh @@ -42,6 +42,7 @@ sudo apt-get -qq -y install python-dev sudo apt-get -qq -y install python-pip sudo apt-get -qq -y install python3-dev sudo apt-get -qq -y install python3-pip +curl -kL https://raw.github.com/hcarty/ocamlbrew/master/ocamlbrew-install | bash # Editors echo "Installing editors..."