#895 (Mar 21, 2019, 1:32:39 AM)

1. updated to cygwin-20190320; (detail / hgweb)
2. updated to Cygwin 3.0.4 (approximation for Isabelle2019); (detail / hgweb)
3. prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith; (detail / hgweb)
4. more robust reference to ghc exe (with multi-platform support); (detail / hgweb)
5. more robust: allow empty root (e.g. via symlink); (detail / hgweb)
6. avoid prompt; (detail / hgweb)
7. updated settings: ISABELLE_OCAMLFIND, ISABELLE_OCAML_SETUP, but retain compatibility with historic versions that require ISABELLE_OCAMLC; (detail / hgweb)
8. access OCaml tools and libraries via ISABELLE_OCAMLFIND;
   OPAM setup is optional: it requires odd development tools that are not available in default OS installations (e.g. make, m4); (detail / hgweb)
9. proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap); (detail / hgweb)
10. more robust: allow empty root (e.g. via symlink); (detail / hgweb)

Started by an SCM change

This run spent:

• 42 min waiting;
• 1 hr 27 min build duration;
• 2 hr 10 min total from scheduled to completion.