# HG changeset patch
# User wenzelm
# Date 1274552451 -7200
# Node ID 2b94e2d406d9829d2a20a1898f73957c523d613f
# Parent  026504e21088ae03f2a6b82fd79edcefdaf1c114
use proper ISABELLE_PLATFORM instead of adhoc uname;

diff -r 026504e21088 -r 2b94e2d406d9 etc/settings
--- a/etc/settings	Sat May 22 20:10:11 2010 +0200
+++ b/etc/settings	Sat May 22 20:20:51 2010 +0200
@@ -157,11 +157,14 @@
 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
 # The pdf file viewer
-if [ $(uname -s) = Darwin ]; then
-  PDF_VIEWER="open -W -n"
-else
-  PDF_VIEWER=xpdf
-fi
+case "$ISABELLE_PLATFORM" in
+  *-darwin)
+    PDF_VIEWER="open -W -n"
+    ;;
+  *)
+    PDF_VIEWER=xpdf
+    ;;
+esac
 #PDF_VIEWER=acroread
 #PDF_VIEWER=evince
 
diff -r 026504e21088 -r 2b94e2d406d9 src/Tools/WWW_Find/lib/Tools/wwwfind
--- a/src/Tools/WWW_Find/lib/Tools/wwwfind	Sat May 22 20:10:11 2010 +0200
+++ b/src/Tools/WWW_Find/lib/Tools/wwwfind	Sat May 22 20:20:51 2010 +0200
@@ -35,12 +35,11 @@
 
 function checkplatform()
 {
-  PLAT=$(uname -s)
-  case "$PLAT" in
-    Linux)
+  case "$ISABELLE_PLATFORM" in
+    *-linux)
       ;;
     *)
-      fail "Platform $PLAT currently not supported by $PRG component."
+      fail "Platform $ISABELLE_PLATFORM currently not supported by $PRG component"
       ;;
   esac
 }