lib/scripts/polyml-platform
author huffman
Fri, 20 Jun 2008 19:59:00 +0200
changeset 27296 eec7a1889ca5
parent 25348 510b46987886
child 29145 b1c6f4563df7
permissions -rwxr-xr-x
moved Abs_image to Typedef.thy; prove finite_UNIV outside the locale
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16994
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
     2
#
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
     3
# $Id$
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
     4
#
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
     5
# polyml-platform --- determine Poly/ML's idea of current hardware and
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
     6
# operating system type
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
     7
#
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
     8
# NOTE: platform identifiers should be kept as generic as possible,
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
     9
# i.e. shared by compatible environments.
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    10
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    11
PLATFORM="unknown-platform"
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    12
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    13
case $(uname -s) in
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    14
  SunOS)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    15
    case $(uname -r) in
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    16
      5.*)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    17
        case $(uname -p) in
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    18
          sparc)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    19
            PLATFORM=sparc-solaris
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    20
            ;;
24474
33da394f0888 added x86-solaris;
wenzelm
parents: 21446
diff changeset
    21
          i?86)
33da394f0888 added x86-solaris;
wenzelm
parents: 21446
diff changeset
    22
            PLATFORM=x86-solaris
33da394f0888 added x86-solaris;
wenzelm
parents: 21446
diff changeset
    23
            ;;
16994
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    24
        esac
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    25
        ;;
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    26
    esac
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    27
    ;;
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    28
  Linux)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    29
    case $(uname -m) in
25348
510b46987886 x86_64: fall back on x86 (more efficient);
wenzelm
parents: 24474
diff changeset
    30
      i?86 | x86_64)
16994
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    31
        PLATFORM=x86-linux
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    32
        ;;
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    33
      Power* | power* | ppc)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    34
        PLATFORM=ppc-linux
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    35
        ;;
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    36
    esac
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    37
    ;;
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    38
  FreeBSD|NetBSD)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    39
    case $(uname -m) in
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    40
      i?86)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    41
        PLATFORM=x86-bsd
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    42
        ;;
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    43
    esac
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    44
    ;;
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    45
  Darwin)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    46
    case $(uname -m) in
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    47
      Power* | power* | ppc)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    48
        PLATFORM=ppc-darwin
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    49
        ;;
20991
bb6f570512b5 added x86-darwin;
wenzelm
parents: 16994
diff changeset
    50
      i?86)
bb6f570512b5 added x86-darwin;
wenzelm
parents: 16994
diff changeset
    51
        PLATFORM=x86-darwin
bb6f570512b5 added x86-darwin;
wenzelm
parents: 16994
diff changeset
    52
        ;;
16994
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    53
    esac
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    54
    ;;
21279
2cb5f1621bcf added x86-cygwin;
wenzelm
parents: 20991
diff changeset
    55
  CYGWIN_NT*)
2cb5f1621bcf added x86-cygwin;
wenzelm
parents: 20991
diff changeset
    56
    case $(uname -m) in
2cb5f1621bcf added x86-cygwin;
wenzelm
parents: 20991
diff changeset
    57
      i?86)
2cb5f1621bcf added x86-cygwin;
wenzelm
parents: 20991
diff changeset
    58
        PLATFORM=x86-cygwin
2cb5f1621bcf added x86-cygwin;
wenzelm
parents: 20991
diff changeset
    59
        ;;
2cb5f1621bcf added x86-cygwin;
wenzelm
parents: 20991
diff changeset
    60
    esac
2cb5f1621bcf added x86-cygwin;
wenzelm
parents: 20991
diff changeset
    61
    ;;
16994
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    62
  Windows_NT)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    63
    case $(uname -m) in
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    64
      ?86)
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    65
        PLATFORM=x86-win32
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    66
        ;;
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    67
    esac
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    68
    ;;
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    69
esac
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    70
a69d0496a724 determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff changeset
    71
echo "$PLATFORM"