# HG changeset patch
# User wenzelm
# Date 1635588223 -7200
# Node ID b179891dd357c73193658760c234ed9a73d7b34f
# Parent  8f7f626aacaac96a53e459177e17139ef9881437
updated for pre-5.9 testing;

diff -r 8f7f626aacaa -r b179891dd357 Admin/polyml/README
--- a/Admin/polyml/README	Sat Oct 30 11:59:41 2021 +0200
+++ b/Admin/polyml/README	Sat Oct 30 12:03:43 2021 +0200
@@ -3,8 +3,8 @@
 
 This compilation of Poly/ML (https://www.polyml.org) is based on the
 source distribution from
-https://github.com/polyml/polyml/commits/fixes-5.8.2 up to commit
-e6a463e1614f.
+https://github.com/polyml/polyml/commit/960de0cd0795 (shortly before
+official version 5.9).
 
 The Isabelle repository provides an administrative tool "isabelle
 build_polyml", which can be used in the polyml component directory as
@@ -55,4 +55,4 @@
 
 
         Makarius
-        11-May-2021
+        21-Oct-2021
diff -r 8f7f626aacaa -r b179891dd357 src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Sat Oct 30 11:59:41 2021 +0200
+++ b/src/Pure/Admin/build_polyml.scala	Sat Oct 30 12:03:43 2021 +0200
@@ -89,7 +89,7 @@
         {
           ./configure --prefix="$PWD/target" """ + Bash.strings(configure_options) + """
           rm -rf target
-          make compiler && make compiler && make install
+          make && make install
         } || { echo "Build failed" >&2; exit 2; }
       """, redirect = true, echo = true).check