1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/bash
set -e
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
git_download menhirlib
if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
( cd "${CI_BUILD_DIR}/menhirlib"
if grep -q unreleased dune-project; then
date=$(date +%Y%m%d)
sed -i.bak "s/unreleased/$date/" dune-project
echo "Definition require_$date := tt." > coq-menhirlib/src/Version.v
fi
dune build @install -p menhirLib,menhirSdk,menhir
dune install -p menhirLib,menhirSdk,menhir menhir menhirSdk menhirLib --prefix="$CI_INSTALL_DIR"
make -C coq-menhirlib
make -C coq-menhirlib install
)
|
