Admin/polyml/settings
author wenzelm
Wed Aug 29 20:16:22 2012 +0200 (2012-08-29)
changeset 49000 0cebcbeac4c7
child 49400 f0c86a5ef4e2
permissions -rw-r--r--
provide polyml-5.4.1 as regular component;
discontinued old-style choosefrom settings with hardwired defaults;
wenzelm@49000
     1
# -*- shell-script -*- :mode=shellscript:
wenzelm@49000
     2
wenzelm@49000
     3
# basic settings
wenzelm@49000
     4
wenzelm@49000
     5
#ML_SYSTEM=polyml-5.4.1
wenzelm@49000
     6
#ML_PLATFORM="$ISABELLE_PLATFORM"
wenzelm@49000
     7
#ML_HOME="$COMPONENT/$ML_PLATFORM"
wenzelm@49000
     8
#ML_OPTIONS="-H 500"
wenzelm@49000
     9
#ML_SOURCES="$ML_HOME/../src"
wenzelm@49000
    10
wenzelm@49000
    11
wenzelm@49000
    12
# smart settings
wenzelm@49000
    13
wenzelm@49000
    14
ML_SYSTEM=polyml-5.4.1
wenzelm@49000
    15
wenzelm@49000
    16
case "$ISABELLE_PLATFORM" in
wenzelm@49000
    17
  *-linux)
wenzelm@49000
    18
    if env LD_LIBRARY_PATH="$COMPONENT/$ISABELLE_PLATFORM32:$LD_LIBRARY_PATH" \
wenzelm@49000
    19
      "$COMPONENT/$ISABELLE_PLATFORM32/poly" -v >/dev/null 2>/dev/null
wenzelm@49000
    20
    then
wenzelm@49000
    21
      ML_PLATFORM="$ISABELLE_PLATFORM32"
wenzelm@49000
    22
    else
wenzelm@49000
    23
      echo >&2 "### Cannot execute Poly/ML in 32bit mode -- using bulky 64bit version instead"
wenzelm@49000
    24
      ML_PLATFORM="$ISABELLE_PLATFORM64"
wenzelm@49000
    25
    fi
wenzelm@49000
    26
    ;;
wenzelm@49000
    27
  *)
wenzelm@49000
    28
    ML_PLATFORM="$ISABELLE_PLATFORM32"
wenzelm@49000
    29
    ;;
wenzelm@49000
    30
esac
wenzelm@49000
    31
wenzelm@49000
    32
case "$ML_PLATFORM" in
wenzelm@49000
    33
  x86_64-*)
wenzelm@49000
    34
    ML_OPTIONS="-H 1000"
wenzelm@49000
    35
    ;;
wenzelm@49000
    36
  *)
wenzelm@49000
    37
    ML_OPTIONS="-H 500"
wenzelm@49000
    38
    ;;
wenzelm@49000
    39
esac
wenzelm@49000
    40
wenzelm@49000
    41
ML_HOME="$COMPONENT/$ML_PLATFORM"
wenzelm@49000
    42
ML_SOURCES="$COMPONENT/src"
wenzelm@49000
    43