Skip to content
Snippets Groups Projects
Commit a7254ddc authored by Hai Dang's avatar Hai Dang
Browse files

bump gpfsl + fix CI jobs

parent c8887f48
No related branches found
No related tags found
No related merge requests found
Pipeline #14451 passed
......@@ -50,7 +50,7 @@ build-coq.8.7.2:
build-iris.dev:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.2 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
OPAM_PINS: "coq version 8.8.2 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV coq-gpfsl.dev git git+https://gitlab.mpi-sws.org/iris/gpfsl.git#$GPFSL_REV"
except:
only:
- triggers
......
......@@ -6,14 +6,14 @@ This is the Coq development accompanying RBrlx.
This version is known to compile with:
- Coq 8.7.2 / 8.8.0
- Coq 8.7.2 / 8.8.2
- A development version of [GPFSL].
The easiest way to install the correct versions of the dependencies is through
opam (1.2.2 or newer). 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.
......@@ -172,5 +172,5 @@ lifetime logic is in [lifetime_sig.v](theories/lifetime/lifetime_sig.v).
* You may have to do `make clean` as Coq will likely complain about .vo file
mismatches.
[GPFSL]: https://gitlab.mpi-sws.org/FP/gpfsl/
[ORC11]: https://gitlab.mpi-sws.org/FP/orc11/
[GPFSL]: https://gitlab.mpi-sws.org/iris/gpfsl/
[ORC11]: https://gitlab.mpi-sws.org/iris/orc11/
......@@ -4,11 +4,11 @@ version: "dev"
maintainer: "Ralf Jung <jung@mpi-sws.org>"
authors: "The RustBelt Team"
homepage: "http://plv.mpi-sws.org/rustbelt/"
bug-reports: "https://gitlab.mpi-sws.org/FP/lambdaRust-coq/issues"
dev-repo: "https://gitlab.mpi-sws.org/FP/lambdaRust-coq.git"
bug-reports: "https://gitlab.mpi-sws.org/iris/lambda-rust/issues"
dev-repo: "https://gitlab.mpi-sws.org/iris/lambda-rust.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/lrust'" ]
depends: [
"coq-gpfsl" { (= "dev.2019-01-31.0.5495b101") | (= "dev") }
"coq-gpfsl" { (= "dev.2019-02-01.1.8412a96e") | (= "dev") }
]
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