Commit 09ca1afc authored by POTTIER Francois's avatar POTTIER Francois

Update the installation script.

parent eef2610d
......@@ -6,10 +6,10 @@ IFS=$'\n\t'
export OPAMYES=true
# Create a new opam switch.
# Create a new opam switch. (We assume opam 2 is installed.)
echo "Creating a new opam switch..."
opam switch mpri24 -A 4.05.0
opam switch create mpri24 4.05.0
eval `opam config env`
# Declare the Coq repository (not a switch-local command, unfortunately).
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment