Commit 8068171b authored by Ralf Jung's avatar Ralf Jung
Browse files

time Coq 8.9.0

parent 8904e823
Pipeline #15099 canceled with stage
......@@ -30,16 +30,15 @@ build-coq.8.9.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.9.0"
build-coq.8.8.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.0"
TIMING_PROJECT: "fairis"
TIMING_CONF: "coq-8.8.0"
tags:
- fp-timing
build-coq.8.8.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.2"
build-iris.dev:
<<: *template
variables:
......
......@@ -15,14 +15,14 @@ support general BI logics.
This version is known to compile with:
- Coq 8.8.0 / 8.9.0
- Coq 8.8.2 / 8.9.0
- A development version of Iris
The easiest way to install the correct versions of the dependencies is through
opam. You will need the Coq and Iris opam repositories:
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add iris-dev https://gitlab.mpi-sws.org/FP/opam-dev.git
opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
Once you got opam set up, run `make build-dep` to install the right versions
of the dependencies.
......
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