diff -r 4949ae210c38 -r 07d4f74abd12 lib/scripts/polyml-platform
--- a/lib/scripts/polyml-platform	Mon Apr 19 10:19:37 2010 +0200
+++ b/lib/scripts/polyml-platform	Mon Apr 19 10:56:26 2010 +0200
@@ -1,69 +1,4 @@
 #!/usr/bin/env bash
-#
-# 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
-            ;;
-          i?86)
-            PLATFORM=x86-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"
+echo "### Legacy feature: polyml-platform script is superseded by ISABELLE_PLATFORM" >&2
+echo "$ISABELLE_PLATFORM"