--- a/Admin/components/components.sha1 Sat Oct 30 12:26:56 2021 +0200
+++ b/Admin/components/components.sha1 Sat Oct 30 13:12:22 2021 +0200
@@ -324,6 +324,7 @@
22ae16bf7850e73b903d2ca8eb506da05b441cf3 polyml-5.8.1.tar.gz
cb8e85387315f62dcfc6b21ec378186e58068f76 polyml-5.8.2.tar.gz
d1fd6eced69dc1df7226432fcb824568e0994ff2 polyml-5.8.tar.gz
+5f00a47b8f5180b33e68fcc6c343b061957a0a98 polyml-5.9-960de0cd0795.tar.gz
49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz
2a8c4421e0a03c0d6ad556b3c36c34eb11568adb polyml-test-1236652ebd55.tar.gz
8e83fb5088cf265902b8da753a8eac5fe3f6a14b polyml-test-159dc81efc3b.tar.gz
--- a/Admin/components/main Sat Oct 30 12:26:56 2021 +0200
+++ b/Admin/components/main Sat Oct 30 13:12:22 2021 +0200
@@ -17,7 +17,7 @@
minisat-2.2.1
nunchaku-0.5
opam-2.0.7
-polyml-5.8.2
+polyml-5.9-960de0cd0795
postgresql-42.2.24
scala-2.13.5
smbc-0.4.1
--- a/Admin/polyml/settings Sat Oct 30 12:26:56 2021 +0200
+++ b/Admin/polyml/settings Sat Oct 30 13:12:22 2021 +0200
@@ -12,7 +12,7 @@
ML_OPTIONS="--minheap 500"
fi
-ML_SYSTEM=polyml-5.8.2
+ML_SYSTEM=polyml-5.9
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_SOURCES="$POLYML_HOME/src"
--- a/NEWS Sat Oct 30 12:26:56 2021 +0200
+++ b/NEWS Sat Oct 30 13:12:22 2021 +0200
@@ -499,6 +499,9 @@
*** System ***
+* Update to Poly/ML 5.9 with improved support for ARM on Linux. (On
+macOS the Intel version works smoothly with Rosetta 2, as before.)
+
* Update to OpenJDK 17: the current long-term support version of Java.
* Perl is no longer required by Isabelle proper, and longer provided by