lib/scripts/polyml-platform
author wenzelm
Tue, 21 Nov 2006 18:07:33 +0100
changeset 21437 a3c55b85cf0e
parent 21279 2cb5f1621bcf
child 21446 3d57db34633b
permissions -rwxr-xr-x
moved theorem kinds from PureThy to Thm;

#!/usr/bin/env bash
#
# $Id$
#
# polyml-platform --- determine Poly/ML's idea of current hardware and
# operating system type
#
# NOTE: platform identifiers should be kept as generic as possible,
# i.e. shared by compatible environments.

PLATFORM="unknown-platform"

case $(uname -s) in
  SunOS)
    case $(uname -r) in
      5.*)
        case $(uname -p) in
          sparc)
            PLATFORM=sparc-solaris
            ;;
        esac
        ;;
    esac
    ;;
  Linux)
    case $(uname -m) in
      i?86 | x86_64)
        PLATFORM=x86-linux
        ;;
      Power* | power* | ppc)
        PLATFORM=ppc-linux
        ;;
    esac
    ;;
  FreeBSD|NetBSD)
    case $(uname -m) in
      i?86)
        PLATFORM=x86-bsd
        ;;
    esac
    ;;
  Darwin)
    case $(uname -m) in
      Power* | power* | ppc)
        PLATFORM=ppc-darwin
        ;;
      i?86)
        PLATFORM=x86-darwin
        ;;
    esac
    ;;
  CYGWIN_NT*)
    case $(uname -m) in
      i?86)
        PLATFORM=x86-cygwin
        ;;
    esac
    ;;
  Windows_NT)
    case $(uname -m) in
      ?86)
        PLATFORM=x86-win32
        ;;
    esac
    ;;
esac

echo "$PLATFORM"