Admin/polyml/settings
author wenzelm
Thu Aug 20 14:13:00 2015 +0200 (2015-08-20)
changeset 60983 ff4a67c65084
parent 56958 b2c2f74d1c93
child 61136 168f84f45730
permissions -rw-r--r--
updated to polyml-5.5.3-20150820, with native x86-windows support;
wenzelm@49000
     1
# -*- shell-script -*- :mode=shellscript:
wenzelm@49000
     2
wenzelm@53686
     3
POLYML_HOME="$COMPONENT"
wenzelm@53686
     4
wenzelm@53686
     5
wenzelm@60983
     6
# simple settings (example)
wenzelm@49000
     7
wenzelm@60983
     8
#ML_SYSTEM=polyml-5.5.3
wenzelm@53686
     9
#ML_PLATFORM="$ISABELLE_PLATFORM32"
wenzelm@53686
    10
#ML_HOME="$POLYML_HOME/$ML_PLATFORM"
wenzelm@49000
    11
#ML_OPTIONS="-H 500"
wenzelm@53686
    12
#ML_SOURCES="$POLYML_HOME/src"
wenzelm@49000
    13
wenzelm@49000
    14
wenzelm@49000
    15
# smart settings
wenzelm@49000
    16
wenzelm@60983
    17
ML_SYSTEM=polyml-5.5.3
wenzelm@49000
    18
wenzelm@49000
    19
case "$ISABELLE_PLATFORM" in
wenzelm@49000
    20
  *-linux)
wenzelm@53686
    21
    if env LD_LIBRARY_PATH="$POLYML_HOME/$ISABELLE_PLATFORM32:$LD_LIBRARY_PATH" \
wenzelm@53686
    22
      "$POLYML_HOME/$ISABELLE_PLATFORM32/poly" -v >/dev/null 2>/dev/null
wenzelm@49000
    23
    then
wenzelm@49000
    24
      ML_PLATFORM="$ISABELLE_PLATFORM32"
wenzelm@49000
    25
    else
wenzelm@49000
    26
      ML_PLATFORM="$ISABELLE_PLATFORM64"
wenzelm@51060
    27
      if [ -z "$ML_PLATFORM_FALLBACK" ]; then
wenzelm@51060
    28
        echo >&2 "### Cannot execute Poly/ML in 32bit mode (missing shared libraries for C/C++)"
wenzelm@51060
    29
        echo >&2 "### Using bulky 64bit version of Poly/ML instead"
wenzelm@51060
    30
        ML_PLATFORM_FALLBACK="true"
wenzelm@51060
    31
      fi
wenzelm@49000
    32
    fi
wenzelm@49000
    33
    ;;
wenzelm@60983
    34
  x86-cygwin)
wenzelm@60983
    35
    ML_PLATFORM="x86-windows"
wenzelm@60983
    36
    ;;
wenzelm@49000
    37
  *)
wenzelm@49000
    38
    ML_PLATFORM="$ISABELLE_PLATFORM32"
wenzelm@49000
    39
    ;;
wenzelm@49000
    40
esac
wenzelm@49000
    41
wenzelm@49000
    42
case "$ML_PLATFORM" in
wenzelm@49000
    43
  x86_64-*)
wenzelm@49000
    44
    ML_OPTIONS="-H 1000"
wenzelm@49000
    45
    ;;
wenzelm@49000
    46
  *)
wenzelm@49000
    47
    ML_OPTIONS="-H 500"
wenzelm@49000
    48
    ;;
wenzelm@49000
    49
esac
wenzelm@49000
    50
wenzelm@53686
    51
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
wenzelm@53686
    52
ML_SOURCES="$POLYML_HOME/src"