Skip to content
Snippets Groups Projects
Commit 4247e31f authored by erwan's avatar erwan
Browse files

Doc: install preocess enhancement

parent 4055fa4d
No related branches found
No related tags found
No related merge requests found
Pipeline #51903 passed
......@@ -761,6 +761,7 @@ opam init -y
eval $(opam env)
echo "test -r ~/.opam/opam-init/init.sh && . ~/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true" >> ~/.bashrc
opam switch create 4.11.1
eval $(opam env)
opam install -y merlin tuareg
opam user-setup install
opam repo add -a verimag-sync-repo \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment