|
|
@ -43,7 +43,7 @@ sudo apt-get -qq -y install python-pip |
|
|
|
sudo apt-get -qq -y install python3-dev |
|
|
|
sudo apt-get -qq -y install python3-dev |
|
|
|
sudo apt-get -qq -y install python3-pip |
|
|
|
sudo apt-get -qq -y install python3-pip |
|
|
|
sudo apt-get -qq -y install m4 |
|
|
|
sudo apt-get -qq -y install m4 |
|
|
|
curl -kL https://raw.github.com/hcarty/ocamlbrew/master/ocamlbrew-install | bash |
|
|
|
wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin |
|
|
|
|
|
|
|
|
|
|
|
# Editors |
|
|
|
# Editors |
|
|
|
echo "Installing editors..." |
|
|
|
echo "Installing editors..." |
|
|
|