Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/isabelle-platform
author wenzelm
Sun, 15 Jun 2025 22:46:45 +0200
changeset 82720 956ecf2c07a0
parent 79995 e94a36467f4e
permissions -rw-r--r--
more flexible ML_Settings in Isabelle/Scala, depending on system options and some default settings; update polyml-5.9.1-1: only settings;

# -*- shell-script -*- :mode=shellscript:
#
# determine general hardware and operating system type for Isabelle system tools
#

ISABELLE_PLATFORM_FAMILY=""
ISABELLE_PLATFORM64=""
ISABELLE_APPLE_PLATFORM64=""
ISABELLE_WINDOWS_PLATFORM32=""
ISABELLE_WINDOWS_PLATFORM64=""

case $(uname -s) in
  Linux)
    ISABELLE_PLATFORM_FAMILY="linux"
    case $(uname -m) in
      aarch64)
        ISABELLE_PLATFORM64=arm64-linux
        ;;
      *)
        ISABELLE_PLATFORM64=x86_64-linux
        ;;
    esac
    ;;
  Darwin)
    ISABELLE_PLATFORM_FAMILY="macos"
    ISABELLE_PLATFORM64=x86_64-darwin
    case $(uname -a) in
      *arm64*|*ARM64*)
        ISABELLE_APPLE_PLATFORM64=arm64-darwin
        ;;
      *)
        ;;
    esac
    ;;
  CYGWIN_NT*)
    ISABELLE_PLATFORM_FAMILY="windows"
    ISABELLE_WINDOWS_PLATFORM32="x86-windows"
    ISABELLE_WINDOWS_PLATFORM64="x86_64-windows"
    ISABELLE_PLATFORM64=x86_64-cygwin
    ;;
esac
isabelle