Commit 9daed8bb authored by Glen Mével's avatar Glen Mével
Browse files

update readme

parent 8a2fe19d
...@@ -5,15 +5,14 @@ ...@@ -5,15 +5,14 @@
_If opam is not already installed:_ See instructions [there][install-opam] to _If opam is not already installed:_ See instructions [there][install-opam] to
install it; then: install it; then:
opam init --comp=4.09.1 opam init --comp=4.13.1
eval $(opam config env) eval $(opam config env)
(This will create a `~/.opam` directory.) (This will create a `~/.opam` directory.)
_If opam is already installed:_ Create a new switch for the project: _If opam (≥ 2.0) is already installed:_ Create a new switch for the project:
opam switch iris-time-proofs --alias-of 4.09.1 # for opam 1.x opam switch create iris-time ocaml-base-compiler.4.13.1
opam switch create iris-time-proofs ocaml-base-compiler.4.09.1 # for opam 2.x
eval $(opam config env) eval $(opam config env)
### Step 2: Installing the dependencies ### Step 2: Installing the dependencies
...@@ -21,8 +20,9 @@ _If opam is already installed:_ Create a new switch for the project: ...@@ -21,8 +20,9 @@ _If opam is already installed:_ Create a new switch for the project:
In an opam switch as created above, the commands In an opam switch as created above, the commands
opam repo add coq-released https://coq.inria.fr/opam/released opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add iris-dev git+https://gitlab.mpi-sws.org/iris/opam.git
opam update opam update
make build-dep make builddep
will pin and install the dependencies at the correct version. will pin and install the dependencies at the correct version.
......
Supports Markdown
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