blob: bc49193bb8147fc87bdc4f5037a4925922145640 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#!/usr/bin/env bash
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
install_ssreflect
# Setup lambdaRust first
git_download lambdaRust
# Extract required version of Iris
# Iris is already pinned in ci-basic-overlays.sh
#Iris_REF=$(grep -F coq-iris < "${CI_BUILD_DIR}/lambdaRust/opam" | sed 's/.*"dev\.[0-9.-]\+\.\([0-9a-z]\+\)".*/\1/')
# Setup Iris
git_download Iris
# Extract required version of std++
# std++ is already pinned in ci-basic-overlays.sh
#stdpp_REF=$(grep -F coq-stdpp < "${CI_BUILD_DIR}/Iris/opam" | sed 's/.*"dev\.[0-9.-]\+\.\([0-9a-z]\+\)".*/\1/')
# Setup std++
git_download stdpp
# Build std++
( cd "${CI_BUILD_DIR}/stdpp" && make && make install )
# Build and validate Iris
( cd "${CI_BUILD_DIR}/Iris" && make && make validate && make install )
# Build lambdaRust
( cd "${CI_BUILD_DIR}/lambdaRust" && make && make install )
|
