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