Admin/polyml/settings
author wenzelm
Mon, 17 Sep 2012 12:19:41 +0200
changeset 49400 f0c86a5ef4e2
parent 49000 0cebcbeac4c7
child 49598 7bc5fcc03564
permissions -rw-r--r--
some updates for polyml-5.5.0;

# -*- shell-script -*- :mode=shellscript:

# basic settings

#ML_SYSTEM=polyml-5.5.0
#ML_PLATFORM="$ISABELLE_PLATFORM"
#ML_HOME="$COMPONENT/$ML_PLATFORM"
#ML_OPTIONS="-H 500"
#ML_SOURCES="$ML_HOME/../src"


# smart settings

ML_SYSTEM=polyml-5.5.0

case "$ISABELLE_PLATFORM" in
  *-linux)
    if env LD_LIBRARY_PATH="$COMPONENT/$ISABELLE_PLATFORM32:$LD_LIBRARY_PATH" \
      "$COMPONENT/$ISABELLE_PLATFORM32/poly" -v >/dev/null 2>/dev/null
    then
      ML_PLATFORM="$ISABELLE_PLATFORM32"
    else
      echo >&2 "### Cannot execute Poly/ML in 32bit mode -- using bulky 64bit version instead"
      ML_PLATFORM="$ISABELLE_PLATFORM64"
    fi
    ;;
  *)
    ML_PLATFORM="$ISABELLE_PLATFORM32"
    ;;
esac

case "$ML_PLATFORM" in
  x86_64-*)
    ML_OPTIONS="-H 1000"
    ;;
  *)
    ML_OPTIONS="-H 500"
    ;;
esac

ML_HOME="$COMPONENT/$ML_PLATFORM"
ML_SOURCES="$COMPONENT/src"