Commit 3dd3eb52 authored by Ralf Jung's avatar Ralf Jung
Browse files

recommend latest patch release of ocaml 4.07

parent 33ca754b
...@@ -43,7 +43,7 @@ TIMING_PROJECT=${TIMING_PROJECT:-$CI_PROJECT_NAME} ...@@ -43,7 +43,7 @@ TIMING_PROJECT=${TIMING_PROJECT:-$CI_PROJECT_NAME}
# Environment sanity checks # Environment sanity checks
if [[ -z "$OCAML" ]]; then if [[ -z "$OCAML" ]]; then
panic "[buildjob] The OCAML variable needs to be set to the desired OCaml version (e.g. ocaml-base-compiler.4.07.0)" panic "[buildjob] The OCAML variable needs to be set to the desired OCaml version (e.g. ocaml-base-compiler.4.07.1)"
fi fi
if [[ -n "$VALIDATE" ]]; then if [[ -n "$VALIDATE" ]]; then
panic "[buildjob] Do not use the VALIDATE variable, it has been replaced by CI_COQCHK" panic "[buildjob] Do not use the VALIDATE variable, it has been replaced by CI_COQCHK"
......
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