shorter install all compilers script
@@ -2,23 +2,74 @@ sudo add-apt-repository ppa:neovim-ppa/stable -y
sudo apt-get update
sudo apt-get install neovim # install neovim 0.5+
+if ! command -v ghc &> /dev/null
+then
sudo apt-get install haskell-platform -y
-sudo apt-get install -y nodejs npm
+fi
+
+if ! command -v node &> /dev/null
+then
+ sudo apt-get install -y nodejs
+fi
+
+if ! command -v npm &> /dev/null
+then
+ sudo apt-get install -y npm
+fi
+
+if ! command -v coffee &> /dev/null
+then
npm install -g coffee-script
+fi
+
+if ! command -v ts-node &> /dev/null
+then
npm install -g typescript
npm install -g ts-node
+fi
+
+if ! command -v Rscript &> /dev/null
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E298A3A825C0D65DFD57CBB651716619E084DAB9
sudo add-apt-repository 'deb https://cloud.r-project.org/bin/linux/ubuntu focal-cran40/'
sudo apt-get install r-base
+then
+fi
+
+#ADA
+if ! command -v gnatmake &> /dev/null
sudo apt-get install gnat
+then
+fi
+
+if ! command -v scalac &> /dev/null
sudo apt-get install scala
+then
+fi
pip3 install jupyter
+
+if ! command -v lua &> /dev/null
sudo apt-get install lua5.3
+then
+fi
+
+if ! command -v sage &> /dev/null
sudo apt-get install sagemath
-sudo apt-get install gprolog
+then
+fi
+
+# sudo apt-get install gprolog
+
+if ! command -v dotnet &> /dev/null
sudo apt-get install dotnet
+then
+fi
+
+
+if ! command -v go &> /dev/null
./ressources/go_install.sh
export PATH=$PATH:$HOME/golang/go/bin/
+then
+fi
# deno for typescript and javascript
# cargo install deno --locked # too long, takes 20 min!
