--- 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" "$@"