lib/scripts/isabelle-platform
changeset 48455 a509f19d4cc6
parent 42716 45eb6829dde2
child 50182 30177ec0be36
     1.1 --- a/lib/scripts/isabelle-platform	Mon Jul 23 19:07:01 2012 +0200
     1.2 +++ b/lib/scripts/isabelle-platform	Mon Jul 23 21:01:16 2012 +0200
     1.3 @@ -4,17 +4,17 @@
     1.4  #
     1.5  # NOTE: The ML system or JVM may have their own idea about the platform!
     1.6  
     1.7 -ISABELLE_PLATFORM="unknown-platform"
     1.8 +ISABELLE_PLATFORM32=""
     1.9  ISABELLE_PLATFORM64=""
    1.10  
    1.11  case $(uname -s) in
    1.12    Linux)
    1.13      case $(uname -m) in
    1.14        i?86)
    1.15 -        ISABELLE_PLATFORM=x86-linux
    1.16 +        ISABELLE_PLATFORM32=x86-linux
    1.17          ;;
    1.18        x86_64)
    1.19 -        ISABELLE_PLATFORM=x86-linux
    1.20 +        ISABELLE_PLATFORM32=x86-linux
    1.21          ISABELLE_PLATFORM64=x86_64-linux
    1.22          ;;
    1.23      esac
    1.24 @@ -22,47 +22,32 @@
    1.25    Darwin)
    1.26      case $(uname -m) in
    1.27        i?86)
    1.28 -        ISABELLE_PLATFORM=x86-darwin
    1.29 +        ISABELLE_PLATFORM32=x86-darwin
    1.30          if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then
    1.31            ISABELLE_PLATFORM64=x86_64-darwin
    1.32          fi
    1.33          ;;
    1.34        x86_64)
    1.35 -        ISABELLE_PLATFORM=x86-darwin
    1.36 +        ISABELLE_PLATFORM32=x86-darwin
    1.37          ISABELLE_PLATFORM64=x86_64-darwin
    1.38          ;;
    1.39 -      Power* | power* | ppc)
    1.40 -        ISABELLE_PLATFORM=ppc-darwin
    1.41 -        ;;
    1.42      esac
    1.43      ;;
    1.44    CYGWIN_NT*)
    1.45      case $(uname -m) in
    1.46        i?86 | x86_64)
    1.47 -        ISABELLE_PLATFORM=x86-cygwin
    1.48 -        ;;
    1.49 -    esac
    1.50 -    ;;
    1.51 -  SunOS)
    1.52 -    case $(uname -r) in
    1.53 -      5.*)
    1.54 -        case $(uname -p) in
    1.55 -          sparc)
    1.56 -            ISABELLE_PLATFORM=sparc-solaris
    1.57 -            ;;
    1.58 -          i?86 | x86_64)
    1.59 -            ISABELLE_PLATFORM=x86-solaris
    1.60 -            ;;
    1.61 -        esac
    1.62 +        ISABELLE_PLATFORM32=x86-cygwin
    1.63          ;;
    1.64      esac
    1.65      ;;
    1.66    *BSD)
    1.67      case $(uname -m) in
    1.68        i?86 | x86_64)
    1.69 -        ISABELLE_PLATFORM=x86-linux
    1.70 +        ISABELLE_PLATFORM32=x86-linux  #cf. BSD Linux Binary Compatibility
    1.71          ;;
    1.72      esac
    1.73      ;;
    1.74  esac
    1.75  
    1.76 +ISABELLE_PLATFORM="$ISABELLE_PLATFORM32"
    1.77 +