Add OCaml language
This commit is contained in:
parent
59eeee7961
commit
9631fed05d
2 changed files with 11 additions and 1 deletions
9
arch.sh
9
arch.sh
|
@ -353,6 +353,15 @@ then
|
||||||
# Add PIP packages from Python to the path
|
# Add PIP packages from Python to the path
|
||||||
fish_add_path /home/anri/.local/bin
|
fish_add_path /home/anri/.local/bin
|
||||||
|
|
||||||
|
# === OCaml ==
|
||||||
|
# Init Opam
|
||||||
|
echo | opam init
|
||||||
|
yes | opam init
|
||||||
|
# Install devtools
|
||||||
|
opam install ocaml-lsp-server --yes
|
||||||
|
opam install ocamlformat --yes
|
||||||
|
opam install ocamlformat-rpc --yes
|
||||||
|
|
||||||
echo -e "\nInstallation terminée.\nIl faut redémarrer l'ordinateur."
|
echo -e "\nInstallation terminée.\nIl faut redémarrer l'ordinateur."
|
||||||
else
|
else
|
||||||
echo "Ce script ne fonctionne que sur Arch."
|
echo "Ce script ne fonctionne que sur Arch."
|
||||||
|
|
|
@ -106,7 +106,8 @@
|
||||||
"python-pip",
|
"python-pip",
|
||||||
"bluez-utils",
|
"bluez-utils",
|
||||||
"vlc",
|
"vlc",
|
||||||
"discord"
|
"discord",
|
||||||
|
"opam"
|
||||||
],
|
],
|
||||||
"plugin": null,
|
"plugin": null,
|
||||||
"profile": {
|
"profile": {
|
||||||
|
|
Loading…
Reference in a new issue