Commit 295a6538 authored by Ralf Jung's avatar Ralf Jung
Browse files

add an option to overwrite the make target

parent 0950ee3e
......@@ -8,6 +8,7 @@ set -eo pipefail
## start with a package name, e.g. `ocaml-base-compiler.4.07.0`.
## - $OPAM_PINS: Space-separated list of packages to pin in opam, in the format
## "PACKAGE KIND TARGET PACKAGE KIND TARGET ..."
## - $MAKE_TARGET: Overwrite the target built by CI. Defaults to `all`.
## - $CI_COQCHK: If non-empty, run `coqchk` via `make validate`
## - $MANGLE_NAMES: If non-empty, add `-mangle-names` parameter to Coq
## invocation.
......@@ -29,6 +30,7 @@ set -eo pipefail
status "[buildjob] Using CI branch $(cd ci && git rev-parse --abbrev-ref HEAD) ($(cd ci && git rev-parse HEAD))"
OCAML=${OCAML:-ocaml-base-compiler.4.08.1}
MAKE_TARGET=${MAKE_TARGET:-all}
TIMING_PROJECT=${TIMING_PROJECT:-$CI_PROJECT_NAME}
TIMING_CONF=${TIMING_CONF:-$CI_JOB_NAME}
......@@ -49,8 +51,8 @@ if [[ "$CI_RUNNER_DESCRIPTION" == "coop-timing" ]]; then
fi
# Build
status "[buildjob] Perfoming build"
time make --output-sync --no-print-directory -k -j$CPU_CORES 2>&1
status "[buildjob] Perfoming build (make $MAKE_TARGET)"
time make --output-sync --no-print-directory -k -j$CPU_CORES $MAKE_TARGET 2>&1
# maybe submit timing information
if [[ "$CI_RUNNER_DESCRIPTION" == "coop-timing" ]]; then
......
Supports Markdown
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