blob: c21af976f47161e031e743ddb51278091b43d398 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/bash
# $0 is not the safest way, but...
ci_dir="$(dirname "$0")"
source ${ci_dir}/ci-common.sh
install_ssreflect
# Setup stdpp
git_checkout master https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp.git coq-stdpp
( cd coq-stdpp && make -j ${NJOBS} && make install )
# Setup Iris
git_checkout master https://gitlab.mpi-sws.org/FP/iris-coq.git iris-coq
( cd iris-coq && make -j ${NJOBS} )
|