run opam before build
authorLars Hupel <lars.hupel@mytum.de>
Thu Mar 14 16:19:24 2019 +0100 (5 weeks ago ago)
changeset 700916d768e0eeaaf
parent 70090 5382f5691a11
run opam before build
Admin/jenkins/run_build
     1.1 --- a/Admin/jenkins/run_build	Thu Mar 14 09:46:09 2019 +0100
     1.2 +++ b/Admin/jenkins/run_build	Thu Mar 14 16:19:24 2019 +0100
     1.3 @@ -11,5 +11,6 @@
     1.4  bin/isabelle components -a
     1.5  bin/isabelle jedit -bf
     1.6  bin/isabelle ocaml_setup
     1.7 +bin/isabelle ocaml_opam install zarith
     1.8  bin/isabelle ghc_setup
     1.9  bin/isabelle "ci_build_$PROFILE" "$@"