blob: a151cf0ba681a724447390d51bb1fe4670600527 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/usr/bin/env bash
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
git_download vst
export COMPCERT=bundled
sed -i.bak 's/\(COQC=.*\)/\1 -native-compiler no/' ${CI_BUILD_DIR}/vst/Makefile
( cd "${CI_BUILD_DIR}/vst" && make IGNORECOQVERSION=true )
|
