blob: 43add8254ae14b60c27fa06bf6b43a746db53d63 (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/usr/bin/env bash
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
FORCE_GIT=1
git_download perennial
export COQEXTRAFLAGS='-native-compiler no'
( cd "${CI_BUILD_DIR}/perennial" && git submodule update --init --recursive && make TIMED=false lite )
|
