lib/scripts/getsettings

clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;

+
−# -*- shell-script -*- :mode=shellscript:
+
−#
+
−# Author: Makarius
+
−#
+
−# Static Isabelle environment for root of process tree.
+
−
+
−export ISABELLE_HOME
+
−
+
−export BASH_ENV="$ISABELLE_HOME/lib/scripts/getfunctions"
+
−source "$BASH_ENV"
+
−
+
−
+
−if [ -z "$ISABELLE_SETTINGS_PRESENT" ]
+
−then
+
−
+
−export ISABELLE_SETTINGS_PRESENT=true
+
−
+
−set -o allexport
+
−
+
−#sane environment defaults (notably on Mac OS X)
+
−if [ "$ISABELLE_APP" = true -a -x /usr/libexec/path_helper ]; then
+
−  eval $(/usr/libexec/path_helper -s)
+
−fi
+
−
+
−#Cygwin vs. POSIX
+
−if [ "$OSTYPE" = cygwin ]
+
−then
+
−  unset INI_DIR
+
−
+
−  if [ -n "$TEMP_WINDOWS" ]; then
+
−    TMPDIR="$(cygpath -u "$TEMP_WINDOWS")"
+
−    TMP="$TMPDIR"
+
−    TEMP="$TMPDIR"
+
−  fi
+
−
+
−  if [ -z "$USER_HOME" ]; then
+
−    USER_HOME="$(cygpath -u "$USERPROFILE")"
+
−  fi
+
−
+
−  CYGWIN_ROOT="$(platform_path "/")"
+
−  ISABELLE_ROOT="$(platform_path "$ISABELLE_HOME")"
+
−
+
−  ISABELLE_CLASSPATH="$(cygpath -i -u -p "$CLASSPATH")"
+
−  unset CLASSPATH
+
−else
+
−  if [ -z "$USER_HOME" ]; then
+
−    USER_HOME="$HOME"
+
−  fi
+
−
+
−  ISABELLE_ROOT="$ISABELLE_HOME"
+
−
+
−  ISABELLE_CLASSPATH="$CLASSPATH"
+
−  unset CLASSPATH
+
−fi
+
−
+
−#main executables
+
−ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
+
−ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
+
−PATH="$ISABELLE_HOME/bin:$PATH"
+
−
+
−#platform
+
−source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
+
−if [ -z "$ISABELLE_PLATFORM" ]; then
+
−  echo 1>&2 "Failed to determine hardware and operating system type!"
+
−  exit 2
+
−fi
+
−
+
−#Isabelle distribution identifier -- filled in automatically!
+
−ISABELLE_ID=""
+
−[ -z "$ISABELLE_IDENTIFIER" ] && ISABELLE_IDENTIFIER=""
+
−
+
−
+
−# components
+
−
+
−ISABELLE_COMPONENTS=""
+
−ISABELLE_COMPONENTS_MISSING=""
+
−
+
−#main components
+
−init_component "$ISABELLE_HOME"
+
−[ -d "$ISABELLE_HOME/Admin" ] && init_component "$ISABELLE_HOME/Admin"
+
−if [ -d "$ISABELLE_HOME_USER" ]; then
+
−  init_component "$ISABELLE_HOME_USER"
+
−else
+
−  mkdir -p "$ISABELLE_HOME_USER"
+
−  chmod $(umask -S) "$ISABELLE_HOME_USER"
+
−fi
+
−
+
−#POLYML_EXE
+
−if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
+
−  POLYML_EXE="$ML_HOME/poly.exe"
+
−else
+
−  POLYML_EXE="$ML_HOME/poly"
+
−fi
+
−
+
−#ML system identifier
+
−if [ -z "$ML_PLATFORM" ]; then
+
−  ML_IDENTIFIER="$ML_SYSTEM"
+
−else
+
−  ML_IDENTIFIER="${ML_SYSTEM}_${ML_PLATFORM}"
+
−fi
+
−
+
−#enforce ISABELLE_OCAML
+
−if [ -f "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin/ocaml" ]; then
+
−  ISABELLE_OCAML="$ISABELLE_HOME/lib/scripts/ocaml"
+
−fi
+
−
+
−#enforce ISABELLE_OCAMLC
+
−if [ -f "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin/ocamlc" ]; then
+
−  ISABELLE_OCAMLC="$ISABELLE_HOME/lib/scripts/ocamlc"
+
−fi
+
−
+
−#enforce ISABELLE_GHC
+
−if [ -d "$ISABELLE_STACK_ROOT" -a -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" ]; then
+
−  if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS")/$ISABELLE_GHC_VERSION/bin/ghc" ]; then
+
−    ISABELLE_GHC="$ISABELLE_HOME/lib/scripts/ghc"
+
−  fi
+
−fi
+
−
+
−#enforce JAVA_HOME
+
−if [ -d "$ISABELLE_JDK_HOME/jre" ]
+
−then
+
−  export JAVA_HOME="$ISABELLE_JDK_HOME/jre"
+
−else
+
−  export JAVA_HOME="$ISABELLE_JDK_HOME"
+
−fi
+
−
+
−set +o allexport
+
−
+
−fi