updated to official release of polyml-5.7.1;
authorwenzelm
Mon Nov 27 15:10:50 2017 +0100 (17 months ago)
changeset 670993345d53e7c58
parent 67098 0f750a6dc754
child 67100 c7694d51c278
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;
Admin/components/components.sha1
Admin/components/main
Admin/polyml/README
Admin/polyml/settings
NEWS
lib/scripts/getsettings
     1.1 --- a/Admin/components/components.sha1	Mon Nov 27 16:07:49 2017 +0100
     1.2 +++ b/Admin/components/components.sha1	Mon Nov 27 15:10:50 2017 +0100
     1.3 @@ -153,6 +153,7 @@
     1.4  5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
     1.5  21fa0592b7dfd23269063f42604438165630c0f0  polyml-5.6-2.tar.gz
     1.6  5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
     1.7 +171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
     1.8  80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
     1.9  5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
    1.10  4e6543dbbb2b2aa402fd61428e1c045c48f18b47  polyml-test-79534495ee94.tar.gz
     2.1 --- a/Admin/components/main	Mon Nov 27 16:07:49 2017 +0100
     2.2 +++ b/Admin/components/main	Mon Nov 27 15:10:50 2017 +0100
     2.3 @@ -10,7 +10,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2
     2.6  nunchaku-0.5
     2.7 -polyml-test-fb4f42af00fa
     2.8 +polyml-5.7.1
     2.9  postgresql-42.1.4
    2.10  scala-2.12.4
    2.11  smbc-0.4.1
     3.1 --- a/Admin/polyml/README	Mon Nov 27 16:07:49 2017 +0100
     3.2 +++ b/Admin/polyml/README	Mon Nov 27 15:10:50 2017 +0100
     3.3 @@ -1,8 +1,8 @@
     3.4  Poly/ML for Isabelle
     3.5  ====================
     3.6  
     3.7 -This compilation of Poly/ML 5.7 (http://www.polyml.org) is based on the
     3.8 -source distribution from https://github.com/polyml/polyml/releases/tag/v5.7
     3.9 +This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the
    3.10 +source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1
    3.11  
    3.12  The Isabelle repository provides the administrative tool "build_polyml",
    3.13  which can be used in the polyml component directory as follows.
    3.14 @@ -24,4 +24,4 @@
    3.15  
    3.16  
    3.17          Makarius
    3.18 -        12-May-2017
    3.19 +        27-Nov-2017
     4.1 --- a/Admin/polyml/settings	Mon Nov 27 16:07:49 2017 +0100
     4.2 +++ b/Admin/polyml/settings	Mon Nov 27 15:10:50 2017 +0100
     4.3 @@ -48,20 +48,16 @@
     4.4  
     4.5        case "$ML_PLATFORM" in
     4.6          x86_64-windows)
     4.7 -          POLYML_EXE="$ML_HOME/poly.exe"
     4.8 -          ML_OPTIONS="--minheap 2000 --codepage utf8"
     4.9 -          ;;
    4.10 -        x86-windows)
    4.11 -          POLYML_EXE="$ML_HOME/poly.exe"
    4.12            ML_OPTIONS="--minheap 1000 --codepage utf8"
    4.13            ;;
    4.14 +        x86-windows)
    4.15 +          ML_OPTIONS="--minheap 500 --codepage utf8"
    4.16 +          ;;
    4.17          x86_64-*)
    4.18 -          POLYML_EXE="$ML_HOME/poly"
    4.19 -          ML_OPTIONS="--minheap 2000"
    4.20 +          ML_OPTIONS="--minheap 1000"
    4.21            ;;
    4.22          *)
    4.23 -          POLYML_EXE="$ML_HOME/poly"
    4.24 -          ML_OPTIONS="--minheap 1000"
    4.25 +          ML_OPTIONS="--minheap 500"
    4.26            ;;
    4.27        esac
    4.28  
     5.1 --- a/NEWS	Mon Nov 27 16:07:49 2017 +0100
     5.2 +++ b/NEWS	Mon Nov 27 15:10:50 2017 +0100
     5.3 @@ -129,6 +129,10 @@
     5.4  * Command-line tool "isabelle imports -I" also reports actual session
     5.5  imports. This helps to minimize the session dependency graph.
     5.6  
     5.7 +* Update to current Poly/ML 5.7.1 with slightly improved performance and
     5.8 +PIDE markup for identifier bindings.
     5.9 +
    5.10 +
    5.11  
    5.12  New in Isabelle2017 (October 2017)
    5.13  ----------------------------------
    5.14 @@ -444,6 +448,7 @@
    5.15    isabelle imports -M -a -d '~~/src/Benchmarks'
    5.16  
    5.17  
    5.18 +
    5.19  New in Isabelle2016-1 (December 2016)
    5.20  -------------------------------------
    5.21  
     6.1 --- a/lib/scripts/getsettings	Mon Nov 27 16:07:49 2017 +0100
     6.2 +++ b/lib/scripts/getsettings	Mon Nov 27 15:10:50 2017 +0100
     6.3 @@ -85,6 +85,13 @@
     6.4    chmod $(umask -S) "$ISABELLE_HOME_USER"
     6.5  fi
     6.6  
     6.7 +#POLYML_EXE
     6.8 +if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
     6.9 +  POLYML_EXE="$ML_HOME/poly.exe"
    6.10 +else
    6.11 +  POLYML_EXE="$ML_HOME/poly"
    6.12 +fi
    6.13 +
    6.14  #ML system identifier
    6.15  if [ -z "$ML_PLATFORM" ]; then
    6.16    ML_IDENTIFIER="$ML_SYSTEM"