# HG changeset patch
# User nipkow
# Date 1603344685 -7200
# Node ID 7d7fa4e35053e50a0715965b886c2e094e2640b6
# Parent  d59242549b7fa67192ae2cd9932a40a491e2b583# Parent  f3ec4c151ab1ec3c77ffeb1a1c8ee7b2355a7ac1
merged

diff -r f3ec4c151ab1 -r 7d7fa4e35053 src/Pure/Admin/build_jdk.scala
--- a/src/Pure/Admin/build_jdk.scala	Thu Oct 22 07:31:13 2020 +0200
+++ b/src/Pure/Admin/build_jdk.scala	Thu Oct 22 07:31:25 2020 +0200
@@ -46,6 +46,7 @@
   }
   val jdk_platforms =
     List(
+      JDK_Platform("arm64-linux", ".", "bin/java", """.*ELF 64-bit.*ARM aarch64.*""".r),
       JDK_Platform("x86_64-linux", ".", "bin/java", """.*ELF 64-bit.*x86[-_]64.*""".r),
       JDK_Platform("x86_64-windows", ".", "bin/java.exe", """.*PE32\+ executable.*x86[-_]64.*""".r),
       JDK_Platform("x86_64-darwin", "Contents/Home", "Contents/Home/bin/java",
@@ -60,8 +61,8 @@
 See https://adoptopenjdk.net for the original downloads, which are covered
 the GPL2 (with various liberal exceptions, see legal/*).
 
-Linux, Windows, Mac OS X all work uniformly, depending on certain
-platform-specific subdirectories.
+Linux (arm64 and x86_64), Windows (x86_64), and macOS (x86_64) all work
+uniformly, depending on certain platform-specific subdirectories.
 """
 
 
@@ -224,7 +225,7 @@
     -D DIR       target directory (default ".")
 
   Build jdk component from tar.gz archives, with original jdk archives
-  for x86_64 Linux, Windows, Mac OS X.
+  for Linux (arm64 and x86_64), Windows (x86_64), Mac OS X (x86_64).
 """,
         "D:" -> (arg => target_dir = Path.explode(arg)))