# HG changeset patch
# User wenzelm
# Date 1506793753 -7200
# Node ID fe2a6ec20b4d1a971e95615bc4cb1b8f83b55d71
# Parent  e76850a09a12966cf288149851bd5ab45f586c08
discontinued rudiments of BSD support;
tuned comments;

diff -r e76850a09a12 -r fe2a6ec20b4d lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Sat Sep 30 18:53:38 2017 +0200
+++ b/lib/scripts/isabelle-platform	Sat Sep 30 19:49:13 2017 +0200
@@ -1,8 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 #
-# determine general hardware and operating system type for Isabelle
+# determine general hardware and operating system type for Isabelle system tools
 #
-# NOTE: The ML system or JVM may have their own idea about the platform!
 
 ISABELLE_PLATFORM_FAMILY=""
 ISABELLE_PLATFORM32=""
@@ -55,14 +54,6 @@
         ;;
     esac
     ;;
-  *BSD)
-    ISABELLE_PLATFORM_FAMILY="linux"
-    case $(uname -m) in
-      i?86 | x86_64)
-        ISABELLE_PLATFORM32=x86-linux  #cf. BSD Linux Binary Compatibility
-        ;;
-    esac
-    ;;
 esac
 
 ISABELLE_PLATFORM="${ISABELLE_PLATFORM32:-$ISABELLE_PLATFORM64}"