# HG changeset patch
# User wenzelm
# Date 1601747762 -7200
# Node ID e25c0a6cc33593fc6cdea1a41a7d4c78c5ff79d7
# Parent  694d0a315d0a03517b74f83dcd8247f15f4c87c3
detect/guess arm32 platform (unsupported);

diff -r 694d0a315d0a -r e25c0a6cc335 lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Sat Oct 03 15:11:30 2020 +0200
+++ b/lib/scripts/isabelle-platform	Sat Oct 03 19:56:02 2020 +0200
@@ -16,6 +16,9 @@
       aarch64)
         ISABELLE_PLATFORM64=arm64-linux
         ;;
+      arm*)
+        ISABELLE_PLATFORM32=arm32-linux
+        ;;
       *)
         ISABELLE_PLATFORM32=x86-linux
         ISABELLE_PLATFORM64=x86_64-linux
diff -r 694d0a315d0a -r e25c0a6cc335 src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Sat Oct 03 15:11:30 2020 +0200
+++ b/src/Pure/System/platform.scala	Sat Oct 03 19:56:02 2020 +0200
@@ -39,12 +39,14 @@
   private val X86 = """i.86|x86""".r
   private val X86_64 = """amd64|x86_64""".r
   private val Arm64 = """arm64|aarch64""".r
+  private val Arm32 = """arm""".r
 
   def cpu_arch: String =
     System.getProperty("os.arch", "") match {
       case X86() => "x86"
       case X86_64() => "x86_64"
       case Arm64() => "arm64"
+      case Arm32() => "arm32"
       case _ => error("Failed to determine CPU architecture")
     }