Admin/polyml/bin/polyml-platform
author haftmann
Mon, 06 Jun 2005 14:12:07 +0200
changeset 16301 f9f2e1643593
parent 15878 8192fcf13618
child 16414 cad2cf55c851
permissions -rwxr-xr-x
migrated scripts to new webiste

#!/bin/sh
#
# $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=""

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)
        PLATFORM=x86-linux
        ;;
      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


if [ -z "$PLATFORM" ]; then
  echo "Unknown Poly/ML platform" >&2
  exit 1
else
  echo "$PLATFORM"
fi