Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
12345678910111213141516171819202122232425#!/usr/bin/env bash
set -e
ci_dir="$(dirname "$0")". "${ci_dir}/ci-common.sh"
git_download vst
if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
# sometimes (rarely) CompCert master can break VST and it can take# weeks or months for VST to catch up, in this case, just uncomment# the line below to use the compcert version bundled in VST# export COMPCERT=bundled
# See ci-compcert.shexport COQEXTRAFLAGS='-native-compiler no'
# custom makefile doesn't print times without thisexport TIMING=1( cd "${CI_BUILD_DIR}/vst" make IGNORECOQVERSION=true IGNORECOMPCERTVERSION=true)