--- 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
--- 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