Admin/jenkins/run_build
changeset 69161 44e1c9f93755
parent 69137 90fce429e1bc
--- a/Admin/jenkins/run_build	Thu Oct 18 12:35:32 2018 +0200
+++ b/Admin/jenkins/run_build	Thu Oct 18 20:04:23 2018 +0200
@@ -11,4 +11,5 @@
 bin/isabelle components -a
 bin/isabelle jedit -bf
 bin/isabelle ocaml_setup
+bin/isabelle ghc_setup
 bin/isabelle "ci_build_$PROFILE" "$@"