README.md 519 Bytes
Newer Older
Simcha van Collem's avatar
Simcha van Collem committed
1
2
## Installation

3
4
You first need to make sure [`opam` is installed on your system](https://opam.ocaml.org/doc/Install.html).
After that you can install the dependencies as follows:
Simcha van Collem's avatar
Simcha van Collem committed
5
```
6
opam switch create iris-barriers ocaml-base-compiler.4.14.0
Simcha van Collem's avatar
Simcha van Collem committed
7
eval $(opam env)
8
opam switch link iris-barriers .
Simcha van Collem's avatar
Simcha van Collem committed
9
10
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
11
12
13
make builddep
```
To build the project files, run `make -jN` with `N` the number of used CPU cores.