updated to official release of polyml-5.7.1;
back to more modest default heap: e.g. relevant for Pure session for ML IDE;
more robust POLYML_EXE;
--- a/Admin/components/components.sha1 Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/components/components.sha1 Mon Nov 27 15:10:50 2017 +0100
@@ -153,6 +153,7 @@
5b70c12c95a90d858f90c1945011289944ea8e17 polyml-5.6-20160118.tar.gz
21fa0592b7dfd23269063f42604438165630c0f0 polyml-5.6-2.tar.gz
5b19dc93082803b82aa553a5cfb3e914606c0ffd polyml-5.6.tar.gz
+171b5783b88522a35e4822b19ef8ba838c04f494 polyml-5.7.1.tar.gz
80b923fca3533bf291ff9da991f2262a98b68cc4 polyml-5.7-20170217.tar.gz
5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz
4e6543dbbb2b2aa402fd61428e1c045c48f18b47 polyml-test-79534495ee94.tar.gz
--- a/Admin/components/main Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/components/main Mon Nov 27 15:10:50 2017 +0100
@@ -10,7 +10,7 @@
jortho-1.0-2
kodkodi-1.5.2
nunchaku-0.5
-polyml-test-fb4f42af00fa
+polyml-5.7.1
postgresql-42.1.4
scala-2.12.4
smbc-0.4.1
--- a/Admin/polyml/README Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/polyml/README Mon Nov 27 15:10:50 2017 +0100
@@ -1,8 +1,8 @@
Poly/ML for Isabelle
====================
-This compilation of Poly/ML 5.7 (http://www.polyml.org) is based on the
-source distribution from https://github.com/polyml/polyml/releases/tag/v5.7
+This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the
+source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1
The Isabelle repository provides the administrative tool "build_polyml",
which can be used in the polyml component directory as follows.
@@ -24,4 +24,4 @@
Makarius
- 12-May-2017
+ 27-Nov-2017
--- a/Admin/polyml/settings Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/polyml/settings Mon Nov 27 15:10:50 2017 +0100
@@ -48,20 +48,16 @@
case "$ML_PLATFORM" in
x86_64-windows)
- POLYML_EXE="$ML_HOME/poly.exe"
- ML_OPTIONS="--minheap 2000 --codepage utf8"
- ;;
- x86-windows)
- POLYML_EXE="$ML_HOME/poly.exe"
ML_OPTIONS="--minheap 1000 --codepage utf8"
;;
+ x86-windows)
+ ML_OPTIONS="--minheap 500 --codepage utf8"
+ ;;
x86_64-*)
- POLYML_EXE="$ML_HOME/poly"
- ML_OPTIONS="--minheap 2000"
+ ML_OPTIONS="--minheap 1000"
;;
*)
- POLYML_EXE="$ML_HOME/poly"
- ML_OPTIONS="--minheap 1000"
+ ML_OPTIONS="--minheap 500"
;;
esac
--- a/NEWS Mon Nov 27 16:07:49 2017 +0100
+++ b/NEWS Mon Nov 27 15:10:50 2017 +0100
@@ -129,6 +129,10 @@
* Command-line tool "isabelle imports -I" also reports actual session
imports. This helps to minimize the session dependency graph.
+* Update to current Poly/ML 5.7.1 with slightly improved performance and
+PIDE markup for identifier bindings.
+
+
New in Isabelle2017 (October 2017)
----------------------------------
@@ -444,6 +448,7 @@
isabelle imports -M -a -d '~~/src/Benchmarks'
+
New in Isabelle2016-1 (December 2016)
-------------------------------------
--- a/lib/scripts/getsettings Mon Nov 27 16:07:49 2017 +0100
+++ b/lib/scripts/getsettings Mon Nov 27 15:10:50 2017 +0100
@@ -85,6 +85,13 @@
chmod $(umask -S) "$ISABELLE_HOME_USER"
fi
+#POLYML_EXE
+if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
+ POLYML_EXE="$ML_HOME/poly.exe"
+else
+ POLYML_EXE="$ML_HOME/poly"
+fi
+
#ML system identifier
if [ -z "$ML_PLATFORM" ]; then
ML_IDENTIFIER="$ML_SYSTEM"