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:
#
# determine general hardware and operating system type for Isabelle system tools
#
ISABELLE_PLATFORM_FAMILY=""
ISABELLE_PLATFORM32=""
ISABELLE_PLATFORM64=""
ISABELLE_WINDOWS_PLATFORM32=""
ISABELLE_WINDOWS_PLATFORM64=""
case $(uname -s) in
Linux)
ISABELLE_PLATFORM_FAMILY="linux"
case $(uname -m) in
i?86)
ISABELLE_PLATFORM32=x86-linux
;;
x86_64)
ISABELLE_PLATFORM32=x86-linux
ISABELLE_PLATFORM64=x86_64-linux
;;
esac
;;
Darwin)
ISABELLE_PLATFORM_FAMILY="macos"
case $(uname -m) in
i?86)
ISABELLE_PLATFORM32=x86-darwin
if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then
ISABELLE_PLATFORM64=x86_64-darwin
fi
;;
x86_64)
ISABELLE_PLATFORM32=x86-darwin
ISABELLE_PLATFORM64=x86_64-darwin
;;
esac
;;
CYGWIN_NT*)
ISABELLE_PLATFORM_FAMILY="windows"
if [ "$PROCESSOR_ARCHITECTURE" = "AMD64" -o "$PROCESSOR_ARCHITEW6432" = "AMD64" ]; then
ISABELLE_WINDOWS_PLATFORM32="x86-windows"
ISABELLE_WINDOWS_PLATFORM64="x86_64-windows"
else
ISABELLE_WINDOWS_PLATFORM32="x86-windows"
fi
case $(uname -m) in
x86_64)
ISABELLE_PLATFORM64=x86_64-cygwin
;;
i?86)
ISABELLE_PLATFORM32=x86-cygwin
;;
esac
;;
esac
ISABELLE_PLATFORM="${ISABELLE_PLATFORM32:-$ISABELLE_PLATFORM64}"
ISABELLE_WINDOWS_PLATFORM="${ISABELLE_WINDOWS_PLATFORM32:-$ISABELLE_WINDOWS_PLATFORM64}"