diff -r a69d0496a724 -r 5b344d1dccd8 Admin/polyml/bin/polyml-platform
--- 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