Commit db028517 authored by Ralf Jung's avatar Ralf Jung
Browse files

add CI

parent 44a8a8fa
......@@ -29,6 +29,7 @@ _*_.tex
*.v.d
*.vio
Makefile.coq*
.Makefile.coq.d
*.crashcoqide
.coqdeps.d
build-dep
......
image: ralfjung/opam-ci:opam2
stages:
- build
variables:
CPU_CORES: "10"
.template: &template
stage: build
tags:
- fp
script:
- git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
- ci/buildjob
cache:
key: "$CI_JOB_NAME"
paths:
- opamroot/
only:
- master
- /^ci/
except:
- triggers
- schedules
- api
## Build jobs
build-coq.8.11.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.11.2"
build-iris.dev:
<<: *template
variables:
OPAM_PINS: "coq version 8.12.dev 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/iris/iris.git#$IRIS_REV"
except:
only:
- triggers
- schedules
- api
# Permit local customization
-include Makefile.local
# Forward most targets to Coq makefile (with some trick to make this phony)
%: Makefile.coq phony
+@make -f Makefile.coq $@
......@@ -14,7 +17,7 @@ clean: Makefile.coq
# Create Coq Makefile.
Makefile.coq: _CoqProject Makefile
"$(COQBIN)coq_makefile" -f _CoqProject -o Makefile.coq
"$(COQBIN)coq_makefile" -f _CoqProject -o Makefile.coq $(EXTRA_COQFILES)
# Install build-dependencies
build-dep/opam: opam Makefile
......@@ -36,6 +39,7 @@ build-dep: build-dep/opam phony
Makefile: ;
_CoqProject: ;
opam: ;
Makefile.local: ;
# Phony wildcard targets
phony: ;
......
......@@ -10,7 +10,7 @@ This tutorial comes in two versions:
For the tutorial material you need to have the following dependencies installed:
- Coq 8.11.2
- [Iris 3.3.0](https://gitlab.mpi-sws.org/iris/iris)
- [Iris](https://gitlab.mpi-sws.org/iris/iris) 3.3.0
*Note:* the tutorial material will not work with earlier versions of Iris, it
is important to install the exact versions as given above.
......
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