Admin/polyml/settings
author wenzelm
Mon Nov 27 15:10:50 2017 +0100 (18 months ago)
changeset 67099 3345d53e7c58
parent 67017 ce6454669360
child 67581 30f412d1d7c3
permissions -rw-r--r--
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;
wenzelm@49000
     1
# -*- shell-script -*- :mode=shellscript:
wenzelm@49000
     2
wenzelm@53686
     3
POLYML_HOME="$COMPONENT"
wenzelm@53686
     4
wenzelm@53686
     5
wenzelm@61158
     6
# platform preference
wenzelm@49000
     7
wenzelm@61158
     8
if grep "ML_system_64.*=.*true" "$ISABELLE_HOME_USER/etc/preferences" >/dev/null 2>/dev/null
wenzelm@61158
     9
then
wenzelm@61158
    10
  ML_SYSTEM_64="true"
wenzelm@61158
    11
else
wenzelm@61158
    12
  ML_SYSTEM_64="false"
wenzelm@61158
    13
fi
wenzelm@49000
    14
wenzelm@66761
    15
case "${ISABELLE_PLATFORM_FAMILY}:${ML_SYSTEM_64}" in
wenzelm@66761
    16
  windows:true)
wenzelm@61158
    17
    PLATFORMS="x86_64-windows x86-windows"
wenzelm@49000
    18
    ;;
wenzelm@66761
    19
  windows:*)
wenzelm@61158
    20
    PLATFORMS="x86-windows x86_64-windows"
wenzelm@61158
    21
    ;;
wenzelm@61158
    22
  *:true)
wenzelm@61158
    23
    PLATFORMS="$ISABELLE_PLATFORM64 $ISABELLE_PLATFORM32"
wenzelm@60983
    24
    ;;
wenzelm@49000
    25
  *)
wenzelm@61158
    26
    PLATFORMS="$ISABELLE_PLATFORM32 $ISABELLE_PLATFORM64"
wenzelm@49000
    27
    ;;
wenzelm@49000
    28
esac
wenzelm@49000
    29
wenzelm@61158
    30
wenzelm@61158
    31
# check executable
wenzelm@61158
    32
wenzelm@61158
    33
unset ML_HOME
wenzelm@61158
    34
wenzelm@61158
    35
for PLATFORM in $PLATFORMS
wenzelm@61158
    36
do
wenzelm@61158
    37
  if [ -z "$ML_HOME" ]
wenzelm@61158
    38
  then
wenzelm@64544
    39
    if "$POLYML_HOME/$PLATFORM/polyi" -v </dev/null >/dev/null 2>/dev/null
wenzelm@61158
    40
    then
wenzelm@61158
    41
wenzelm@61158
    42
      # ML settings
wenzelm@61158
    43
wenzelm@66761
    44
      ML_SYSTEM=polyml-5.7.1
wenzelm@61158
    45
      ML_PLATFORM="$PLATFORM"
wenzelm@61158
    46
      ML_HOME="$POLYML_HOME/$ML_PLATFORM"
wenzelm@61158
    47
      ML_SOURCES="$POLYML_HOME/src"
wenzelm@49000
    48
wenzelm@61158
    49
      case "$ML_PLATFORM" in
wenzelm@61158
    50
        x86_64-windows)
wenzelm@67017
    51
          ML_OPTIONS="--minheap 1000 --codepage utf8"
wenzelm@61158
    52
          ;;
wenzelm@67099
    53
        x86-windows)
wenzelm@67099
    54
          ML_OPTIONS="--minheap 500 --codepage utf8"
wenzelm@67099
    55
          ;;
wenzelm@61158
    56
        x86_64-*)
wenzelm@67099
    57
          ML_OPTIONS="--minheap 1000"
wenzelm@61158
    58
          ;;
wenzelm@61158
    59
        *)
wenzelm@67099
    60
          ML_OPTIONS="--minheap 500"
wenzelm@61158
    61
          ;;
wenzelm@61158
    62
      esac
wenzelm@61158
    63
wenzelm@61158
    64
    fi
wenzelm@61158
    65
  fi
wenzelm@61158
    66
done
wenzelm@61158
    67
wenzelm@61158
    68
unset PLATFORM
wenzelm@61158
    69
unset PLATFORMS