# HG changeset patch
# User wenzelm
# Date 1635802642 -3600
# Node ID b67d1d72516b8b7a4b6572b4f07fe4b52181406c
# Parent  cfe295b2e6e5ae83f16217158c2b8eedae58d13b
support linux_arm as well, e.g. native Docker on Apple Silicon;

diff -r cfe295b2e6e5 -r b67d1d72516b src/Pure/Tools/build_docker.scala
--- a/src/Pure/Tools/build_docker.scala	Mon Nov 01 22:33:28 2021 +0100
+++ b/src/Pure/Tools/build_docker.scala	Mon Nov 01 22:37:22 2021 +0100
@@ -12,7 +12,7 @@
   private val default_base = "ubuntu"
   private lazy val default_logic = Isabelle_System.getenv("ISABELLE_LOGIC")
 
-  private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux\.tar\.gz$""".r
+  private val Isabelle_Name = """^.*?(Isabelle[^/\\:]+)_linux(?:_arm)?\.tar\.gz$""".r
 
   val packages: List[String] =
     List("curl", "less", "libfontconfig1", "libgomp1", "pwgen", "unzip")