Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. proper ISABELLE_OCAML_VERSION;
  2. less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith;
  3. more robust "switch create"; disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);
  4. prefer central root: just one copy of this bulky material;
  5. updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
Changeset 69938:564985d6867e by wenzelm:
proper ISABELLE_OCAML_VERSION;
The file was modified etc/settings
The file was modified lib/Tools/ocaml_setup
Changeset 69937:afbc075fd2da by wenzelm:
less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith;
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 69936:772bdd1ed843 by wenzelm:
more robust &quot;switch create&quot;;<br>disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);
The file was modified lib/Tools/ocaml_setup
Changeset 69935:11d0fdb29ebc by wenzelm:
prefer central root: just one copy of this bulky material;
The file was modified etc/settings
Changeset 69934:13276f83fdac by wenzelm:
updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified Admin/ocaml/opam/README