lib/scripts/isabelle-platform
changeset 66731 fe2a6ec20b4d
parent 66691 a8703e8ee1d3
child 71342 d72d4a9316c9
--- 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}"