Commit bd549a16 authored by Ralf Jung's avatar Ralf Jung
Browse files

add an option to fail the build in case of Coq warnings

parent 18e9c970
......@@ -12,6 +12,7 @@ set -eo pipefail
## - $CI_COQCHK: If non-empty, run `coqchk` via `make validate`
## - $MANGLE_NAMES: If non-empty, add `-mangle-names` parameter to Coq
## invocation.
## - $DENY_WARNINGS: If non-empty, abort the build when there are warnings.
## - $OPAM_PKG, $OPAM_UPDATE_SECRET: IF $OPAM_PKG is non-empty, release this
## commit as a new package on opam when done. Requires the
## $OPAM_UPDATE_SECRET variable to be set. This only happens if the current
......@@ -56,12 +57,18 @@ cat >> .git/info/exclude <<EOF
ci/
opamroot/
build-env.txt
build-log.txt
build-times.txt
EOF
# Build
status "[buildjob] Perfoming build (make $MAKE_TARGET)"
time make --output-sync --no-print-directory -k -j$CPU_CORES $MAKE_TARGET 2>&1
time make --output-sync --no-print-directory -k -j$CPU_CORES $MAKE_TARGET 2>&1 | tee build-log.txt
# Check for warnings
if [[ -n "$DENY_WARNINGS" ]] && egrep -q "^Warning:" build-log.txt; then
panic "[buildjon] Aborting build because of warnings."
fi
# maybe submit timing information
if [[ "$CI_RUNNER_DESCRIPTION" == "coop-timing" ]]; then
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment