--- 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"