lib/scripts/isabelle-platform
changeset 50182 30177ec0be36
parent 48455 a509f19d4cc6
child 62879 4764473c9b8d
     1.1 --- a/lib/scripts/isabelle-platform	Fri Nov 23 23:07:58 2012 +0100
     1.2 +++ b/lib/scripts/isabelle-platform	Sat Nov 24 12:39:58 2012 +0100
     1.3 @@ -4,11 +4,13 @@
     1.4  #
     1.5  # NOTE: The ML system or JVM may have their own idea about the platform!
     1.6  
     1.7 +ISABELLE_PLATFORM_FAMILY=""
     1.8  ISABELLE_PLATFORM32=""
     1.9  ISABELLE_PLATFORM64=""
    1.10  
    1.11  case $(uname -s) in
    1.12    Linux)
    1.13 +    ISABELLE_PLATFORM_FAMILY="linux"
    1.14      case $(uname -m) in
    1.15        i?86)
    1.16          ISABELLE_PLATFORM32=x86-linux
    1.17 @@ -20,6 +22,7 @@
    1.18      esac
    1.19      ;;
    1.20    Darwin)
    1.21 +    ISABELLE_PLATFORM_FAMILY="macos"
    1.22      case $(uname -m) in
    1.23        i?86)
    1.24          ISABELLE_PLATFORM32=x86-darwin
    1.25 @@ -34,6 +37,7 @@
    1.26      esac
    1.27      ;;
    1.28    CYGWIN_NT*)
    1.29 +    ISABELLE_PLATFORM_FAMILY="windows"
    1.30      case $(uname -m) in
    1.31        i?86 | x86_64)
    1.32          ISABELLE_PLATFORM32=x86-cygwin
    1.33 @@ -41,6 +45,7 @@
    1.34      esac
    1.35      ;;
    1.36    *BSD)
    1.37 +    ISABELLE_PLATFORM_FAMILY="linux"
    1.38      case $(uname -m) in
    1.39        i?86 | x86_64)
    1.40          ISABELLE_PLATFORM32=x86-linux  #cf. BSD Linux Binary Compatibility