--- a/Admin/polyml/bin/polyml-platform Mon Aug 01 19:20:48 2005 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,64 +0,0 @@
-#!/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 | 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