# HG changeset patch
# User wenzelm
# Date 1282078851 -7200
# Node ID 3c5716b2e7b61ed5975a121aac37b9c15502c48f
# Parent  0924654b816309bf4a3ff9a5fcda2ea3945ac2e2
pro-forma support for further platforms;

diff -r 0924654b8163 -r 3c5716b2e7b6 Admin/polyml/build
--- a/Admin/polyml/build	Tue Aug 17 22:57:11 2010 +0200
+++ b/Admin/polyml/build	Tue Aug 17 23:00:51 2010 +0200
@@ -13,12 +13,8 @@
   echo
   echo "Usage: $PRG SOURCE TARGET [OPTIONS]"
   echo
-  echo "  Build Poly/ML in SOURCE directory for given platform in TARGET"
-  echo "  which is identified as follows:"
-  echo
-  echo "    x86-linux    x86_64-linux"
-  echo "    x86-darwin   x86_64-darwin"
-  echo "    x86-cygwin"
+  echo "  Build Poly/ML in SOURCE directory for given platform in TARGET,"
+  echo "  using the usual Isabelle platform identifiers."
   echo
   echo "  Additional options for ./configure may be given, e.g. --with-gmp"
   echo
@@ -65,6 +61,9 @@
   x86-cygwin)
     OPTIONS=()
     ;;
+  ppc-darwin | sparc-solaris | x86-solaris | x86-bsd)
+    OPTIONS=()
+    ;;
   *)
     fail "Bad platform identifier: \"$TARGET\""
     ;;