more recent polyml-test version;
authorwenzelm
Tue Nov 07 10:22:10 2017 +0100 (10 months ago)
changeset 67017ce6454669360
parent 67016 57d58c3cf16b
child 67018 f6aa133f9b16
more recent polyml-test version;
afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;
Admin/components/components.sha1
Admin/components/main
Admin/polyml/settings
     1.1 --- a/Admin/components/components.sha1	Mon Nov 06 17:21:32 2017 +0100
     1.2 +++ b/Admin/components/components.sha1	Tue Nov 07 10:22:10 2017 +0100
     1.3 @@ -161,6 +161,7 @@
     1.4  2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz
     1.5  b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
     1.6  609c7d09d3ed01156ff91261e801e2403ff93729  polyml-test-e8d82343b692.tar.gz
     1.7 +a619177143fea42a464f49bb864665407c07a16c  polyml-test-fb4f42af00fa.tar.gz
     1.8  53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
     1.9  3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
    1.10  f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
     2.1 --- a/Admin/components/main	Mon Nov 06 17:21:32 2017 +0100
     2.2 +++ b/Admin/components/main	Tue Nov 07 10:22:10 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-79534495ee94
     2.8 +polyml-test-fb4f42af00fa
     2.9  postgresql-42.1.4
    2.10  scala-2.12.4
    2.11  smbc-0.4.1
     3.1 --- a/Admin/polyml/settings	Mon Nov 06 17:21:32 2017 +0100
     3.2 +++ b/Admin/polyml/settings	Tue Nov 07 10:22:10 2017 +0100
     3.3 @@ -49,19 +49,19 @@
     3.4        case "$ML_PLATFORM" in
     3.5          x86_64-windows)
     3.6            POLYML_EXE="$ML_HOME/poly.exe"
     3.7 -          ML_OPTIONS="-H 1000 --codepage utf8"
     3.8 +          ML_OPTIONS="--minheap 2000 --codepage utf8"
     3.9            ;;
    3.10          x86-windows)
    3.11            POLYML_EXE="$ML_HOME/poly.exe"
    3.12 -          ML_OPTIONS="-H 500 --codepage utf8"
    3.13 +          ML_OPTIONS="--minheap 1000 --codepage utf8"
    3.14            ;;
    3.15          x86_64-*)
    3.16            POLYML_EXE="$ML_HOME/poly"
    3.17 -          ML_OPTIONS="-H 1000"
    3.18 +          ML_OPTIONS="--minheap 2000"
    3.19            ;;
    3.20          *)
    3.21            POLYML_EXE="$ML_HOME/poly"
    3.22 -          ML_OPTIONS="-H 500"
    3.23 +          ML_OPTIONS="--minheap 1000"
    3.24            ;;
    3.25        esac
    3.26