merged
authornipkow
Thu, 22 Oct 2020 07:31:25 +0200
changeset 72500 7d7fa4e35053
parent 72498 d59242549b7f (diff)
parent 72499 f3ec4c151ab1 (current diff)
child 72501 70b420065a07
merged
--- 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)))