# HG changeset patch
# User wenzelm
# Date 1603310360 -7200
# Node ID d59242549b7fa67192ae2cd9932a40a491e2b583
# Parent  a9aaef9fcf86d68d5594d55f156a22ca7ae3eba1
support arm64-linux;

diff -r a9aaef9fcf86 -r d59242549b7f src/Pure/Admin/build_jdk.scala
--- a/src/Pure/Admin/build_jdk.scala	Mon Oct 19 21:29:31 2020 +0100
+++ b/src/Pure/Admin/build_jdk.scala	Wed Oct 21 21:59:20 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)))