lib/scripts/polyml-platform
author nipkow
Wed Aug 26 19:54:19 2009 +0200 (2009-08-26)
changeset 32416 4ea7648b6ae2
parent 29145 b1c6f4563df7
child 36201 07d4f74abd12
permissions -rwxr-xr-x
merged
wenzelm@16994
     1
#!/usr/bin/env bash
wenzelm@16994
     2
#
wenzelm@16994
     3
# polyml-platform --- determine Poly/ML's idea of current hardware and
wenzelm@16994
     4
# operating system type
wenzelm@16994
     5
#
wenzelm@16994
     6
# NOTE: platform identifiers should be kept as generic as possible,
wenzelm@16994
     7
# i.e. shared by compatible environments.
wenzelm@16994
     8
wenzelm@16994
     9
PLATFORM="unknown-platform"
wenzelm@16994
    10
wenzelm@16994
    11
case $(uname -s) in
wenzelm@16994
    12
  SunOS)
wenzelm@16994
    13
    case $(uname -r) in
wenzelm@16994
    14
      5.*)
wenzelm@16994
    15
        case $(uname -p) in
wenzelm@16994
    16
          sparc)
wenzelm@16994
    17
            PLATFORM=sparc-solaris
wenzelm@16994
    18
            ;;
wenzelm@24474
    19
          i?86)
wenzelm@24474
    20
            PLATFORM=x86-solaris
wenzelm@24474
    21
            ;;
wenzelm@16994
    22
        esac
wenzelm@16994
    23
        ;;
wenzelm@16994
    24
    esac
wenzelm@16994
    25
    ;;
wenzelm@16994
    26
  Linux)
wenzelm@16994
    27
    case $(uname -m) in
wenzelm@25348
    28
      i?86 | x86_64)
wenzelm@16994
    29
        PLATFORM=x86-linux
wenzelm@16994
    30
        ;;
wenzelm@16994
    31
      Power* | power* | ppc)
wenzelm@16994
    32
        PLATFORM=ppc-linux
wenzelm@16994
    33
        ;;
wenzelm@16994
    34
    esac
wenzelm@16994
    35
    ;;
wenzelm@16994
    36
  FreeBSD|NetBSD)
wenzelm@16994
    37
    case $(uname -m) in
wenzelm@16994
    38
      i?86)
wenzelm@16994
    39
        PLATFORM=x86-bsd
wenzelm@16994
    40
        ;;
wenzelm@16994
    41
    esac
wenzelm@16994
    42
    ;;
wenzelm@16994
    43
  Darwin)
wenzelm@16994
    44
    case $(uname -m) in
wenzelm@16994
    45
      Power* | power* | ppc)
wenzelm@16994
    46
        PLATFORM=ppc-darwin
wenzelm@16994
    47
        ;;
wenzelm@20991
    48
      i?86)
wenzelm@20991
    49
        PLATFORM=x86-darwin
wenzelm@20991
    50
        ;;
wenzelm@16994
    51
    esac
wenzelm@16994
    52
    ;;
wenzelm@21279
    53
  CYGWIN_NT*)
wenzelm@21279
    54
    case $(uname -m) in
wenzelm@21279
    55
      i?86)
wenzelm@21279
    56
        PLATFORM=x86-cygwin
wenzelm@21279
    57
        ;;
wenzelm@21279
    58
    esac
wenzelm@21279
    59
    ;;
wenzelm@16994
    60
  Windows_NT)
wenzelm@16994
    61
    case $(uname -m) in
wenzelm@16994
    62
      ?86)
wenzelm@16994
    63
        PLATFORM=x86-win32
wenzelm@16994
    64
        ;;
wenzelm@16994
    65
    esac
wenzelm@16994
    66
    ;;
wenzelm@16994
    67
esac
wenzelm@16994
    68
wenzelm@16994
    69
echo "$PLATFORM"