support linux_arm as well, e.g. native Docker on Apple Silicon;
authorwenzelm
Mon, 01 Nov 2021 22:37:22 +0100
changeset 75041 b67d1d72516b
parent 75040 cfe295b2e6e5
child 75042 cd674ebf6cac
support linux_arm as well, e.g. native Docker on Apple Silicon;
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")