--- a/Admin/components/components.sha1 Fri Feb 28 16:40:28 2020 +0100
+++ b/Admin/components/components.sha1 Fri Feb 28 21:34:04 2020 +0100
@@ -227,6 +227,7 @@
f46deb909d645ac8c140968e4d32b5763beb9add polyml-5.8.1-20191113.tar.gz
36a40a981b57daae0463d14940a8edf6fa1af179 polyml-5.8.1-20191114.tar.gz
525b05536b08c11a1eae943fe6818a8622326084 polyml-5.8.1-20191124.tar.gz
+9043828803483ca14df64488dff014ad050a6d34 polyml-5.8.1-20200228.tar.gz
d1fd6eced69dc1df7226432fcb824568e0994ff2 polyml-5.8.tar.gz
49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz
2a8c4421e0a03c0d6ad556b3c36c34eb11568adb polyml-test-1236652ebd55.tar.gz
--- a/Admin/components/main Fri Feb 28 16:40:28 2020 +0100
+++ b/Admin/components/main Fri Feb 28 21:34:04 2020 +0100
@@ -12,7 +12,7 @@
kodkodi-1.5.2-1
nunchaku-0.5
opam-2.0.6
-polyml-5.8.1-20191124
+polyml-5.8.1-20200228
postgresql-42.2.9
scala-2.12.10
smbc-0.4.1
--- a/Admin/polyml/README Fri Feb 28 16:40:28 2020 +0100
+++ b/Admin/polyml/README Fri Feb 28 21:34:04 2020 +0100
@@ -2,7 +2,7 @@
====================
This test version of Poly/ML pre-5.8.1 is based on the repository
-snapshot https://github.com/polyml/polyml/commit/055f20cdc326
+snapshot https://github.com/polyml/polyml/commit/6025c250b4f1
The Isabelle repository provides an administrative tool "isabelle
build_polyml", which can be used in the polyml component directory as
@@ -13,7 +13,7 @@
$ isabelle build_polyml -m32 -s sha1 src
$ isabelle build_polyml -m64 -s sha1 src
-* Mac OS X:
+* macOS:
$ isabelle build_polyml -m32 -s sha1 src
$ isabelle build_polyml -m64 -s sha1 src
@@ -24,11 +24,11 @@
$ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
-Building libgmp on Mac OS X
-===========================
+Building libgmp on macOS
+========================
The build_polyml invocations above implicitly use the GNU Multiple Precision
-Arithmetic Library (libgmp), but that is not available on Mac OS X by default.
+Arithmetic Library (libgmp), but that is not available on macOS by default.
Appending "--without-gmp" to the command-line omits this library. Building
libgmp properly from sources works as follows (library headers and binaries
will be placed in /usr/local).
@@ -47,4 +47,4 @@
Makarius
- 24-Nov-2019
+ 28-Feb-2020