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