lib/scripts/isabelle-platform
author wenzelm
Tue, 19 Jul 2016 09:55:03 +0200
changeset 63520 2803d2b8f85d
parent 62911 78e03d8bf1c4
child 65072 36c650d1a90d
permissions -rw-r--r--
Linux platform base-line is Ubuntu 12.04 LTS;

# -*- shell-script -*- :mode=shellscript:
#
# determine general hardware and operating system type for Isabelle
#
# NOTE: The ML system or JVM may have their own idea about the platform!

ISABELLE_PLATFORM_FAMILY=""
ISABELLE_PLATFORM32=""
ISABELLE_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"
    case $(uname -m) in
      i?86 | x86_64)
        ISABELLE_PLATFORM32=x86-cygwin
        ;;
    esac
    ;;
  *BSD)
    ISABELLE_PLATFORM_FAMILY="linux"
    case $(uname -m) in
      i?86 | x86_64)
        ISABELLE_PLATFORM32=x86-linux  #cf. BSD Linux Binary Compatibility
        ;;
    esac
    ;;
esac

ISABELLE_PLATFORM="$ISABELLE_PLATFORM32"