lib/scripts/polyml-platform

added Pure/subgoal.ML;

#!/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
        ;;
    esac
    ;;
  Windows_NT)
    case $(uname -m) in
      ?86)
        PLATFORM=x86-win32
        ;;
    esac
    ;;
esac

echo "$PLATFORM"