# HG changeset patch
# User wenzelm
# Date 1635592342 -7200
# Node ID 455549306166b80d14493a24ccf9268db1c3b094
# Parent  c35001872139535477d4f98ec3b660ac8bb3330f
test version of prespective polyml-5.9;

diff -r c35001872139 -r 455549306166 Admin/components/components.sha1
--- 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
diff -r c35001872139 -r 455549306166 Admin/components/main
--- 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
diff -r c35001872139 -r 455549306166 Admin/polyml/settings
--- 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"
 
diff -r c35001872139 -r 455549306166 NEWS
--- 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