Admin/polyml/settings
author wenzelm
Sat Dec 10 15:45:16 2016 +0100 (2016-12-10)
changeset 64544 d23b7c9b9dd4
parent 61740 d7e0315fe423
child 66691 a8703e8ee1d3
permissions -rw-r--r--
updated Poly/ML repository test version (08-Dec-2016);
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@61158
    15
case "${ISABELLE_PLATFORM}:${ML_SYSTEM_64}" in
wenzelm@61158
    16
  x86-cygwin:true)
wenzelm@61158
    17
    PLATFORMS="x86_64-windows x86-windows"
wenzelm@49000
    18
    ;;
wenzelm@61158
    19
  x86-cygwin:*)
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@64544
    44
      ML_SYSTEM=polyml-5.7
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@61158
    51
          ML_OPTIONS="-H 1000 --codepage utf8"
wenzelm@61158
    52
          ;;
wenzelm@61158
    53
        x86-windows)
wenzelm@61158
    54
          ML_OPTIONS="-H 500 --codepage utf8"
wenzelm@61158
    55
          ;;
wenzelm@61158
    56
        x86_64-*)
wenzelm@61158
    57
          ML_OPTIONS="-H 1000"
wenzelm@61158
    58
          ;;
wenzelm@61158
    59
        *)
wenzelm@61158
    60
          ML_OPTIONS="-H 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