Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to cygwin-20190320;
  2. updated to Cygwin 3.0.4 (approximation for Isabelle2019);
  3. prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith;
  4. more robust reference to ghc exe (with multi-platform support);
  5. more robust: allow empty root (e.g. via symlink);
  6. avoid prompt;
  7. updated settings: ISABELLE_OCAMLFIND, ISABELLE_OCAML_SETUP, but retain compatibility with historic versions that require ISABELLE_OCAMLC;
  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);
  9. proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap);
  10. more robust: allow empty root (e.g. via symlink);
Changeset 69933:c15ee153dec1 by wenzelm:
updated to cygwin-20190320;
The file was modified Admin/components/bundled-windows (diff)
Changeset 69932:56c51f8a118b by wenzelm:
updated to Cygwin 3.0.4 (approximation for Isabelle2019);
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
Changeset 69931:31ee094dea3d by wenzelm:
prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 69930:b5286c564861 by wenzelm:
more robust reference to ghc exe (with multi-platform support);
The file was modified lib/Tools/ghc_setup (diff)
The file was modified lib/scripts/getsettings (diff)
Changeset 69929:b979e3044d8e by wenzelm:
more robust: allow empty root (e.g. via symlink);
The file was modified lib/scripts/ghc (diff)
Changeset 69928:3ed262d72468 by wenzelm:
avoid prompt;
The file was modified lib/Tools/ocaml_setup (diff)
Changeset 69927:f387618d9053 by wenzelm:
updated settings: ISABELLE_OCAMLFIND, ISABELLE_OCAML_SETUP, but retain compatibility with historic versions that require ISABELLE_OCAMLC;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 69926:110fff287217 by wenzelm:
access OCaml tools and libraries via ISABELLE_OCAMLFIND;<br>OPAM setup is optional: it requires odd development tools that are not available in default OS installations (e.g. make, m4);
The file was addedlib/scripts/ocamlfind
The file was modified NEWS (diff)
The file was modified lib/scripts/getsettings (diff)
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/Tools/Code/code_ml.ML (diff)
The file was removedlib/scripts/ocamlc
The file was removedlib/scripts/ocamlexec
Changeset 69925:c90678ad942d by wenzelm:
proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap);
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 69924:512ac874bb9d by wenzelm:
more robust: allow empty root (e.g. via symlink);
The file was modified lib/Tools/ocaml_setup (diff)
The file was modified lib/scripts/ocamlc (diff)
The file was modified lib/scripts/ocamlexec (diff)