# HG changeset patch
# User wenzelm
# Date 1674426574 -3600
# Node ID 39f8051f71d422ce197b009f0996043f6805a255
# Parent  671ca79e264457b6715d4559f15eee7d99f964d1
update to jdk-17.0.6;
proper executables for Windows;
enforce rebuild of Isabelle/ML and Isabelle/Scala;

diff -r 671ca79e2644 -r 39f8051f71d4 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Jan 22 22:48:51 2023 +0100
+++ b/Admin/components/components.sha1	Sun Jan 22 23:29:34 2023 +0100
@@ -179,6 +179,7 @@
 699ab2d723b2f1df151a7dbcbdf33ddad36c7978 jdk-17.0.2+8.tar.gz
 260f5e03e8fc7185f7987a6d2961a23abdce6a0b jdk-17.0.4.1+1.tar.gz
 8f417fcbe5d0fef3a958aeb9740499230aa00046 jdk-17.0.5.tar.gz
+e904e85d0b5f6552344aa385c90f3ca528dc3514 jdk-17.0.6.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
diff -r 671ca79e2644 -r 39f8051f71d4 Admin/components/main
--- a/Admin/components/main	Sun Jan 22 22:48:51 2023 +0100
+++ b/Admin/components/main	Sun Jan 22 23:29:34 2023 +0100
@@ -13,7 +13,7 @@
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20221028
-jdk-17.0.5
+jdk-17.0.6
 jedit-20211103
 jfreechart-1.5.3
 jortho-1.0-2
diff -r 671ca79e2644 -r 39f8051f71d4 src/Pure/Admin/build_jdk.scala
--- a/src/Pure/Admin/build_jdk.scala	Sun Jan 22 22:48:51 2023 +0100
+++ b/src/Pure/Admin/build_jdk.scala	Sun Jan 22 23:29:34 2023 +0100
@@ -33,8 +33,8 @@
   /* build jdk */
 
   val default_base_url = "https://cdn.azul.com/zulu/bin"
-  val default_jdk_version = "17.0.5"
-  val default_zulu_version = "17.38.21-ca"
+  val default_jdk_version = "17.0.6"
+  val default_zulu_version = "17.40.19-ca"
 
   def build_jdk(
     target_dir: Path = Path.current,
@@ -71,14 +71,14 @@
     /* permissions */
 
     for (file <- File.find_files(component_dir.path.file, include_dirs = true)) {
+      val name = file.getName
       val path = file.toPath
       val perms = Files.getPosixFilePermissions(path)
       perms.add(PosixFilePermission.OWNER_READ)
       perms.add(PosixFilePermission.GROUP_READ)
       perms.add(PosixFilePermission.OTHERS_READ)
       perms.add(PosixFilePermission.OWNER_WRITE)
-      if (file.isDirectory) {
-        perms.add(PosixFilePermission.OWNER_WRITE)
+      if (File.is_dll(name) || File.is_exe(name) || file.isDirectory) {
         perms.add(PosixFilePermission.OWNER_EXECUTE)
         perms.add(PosixFilePermission.GROUP_EXECUTE)
         perms.add(PosixFilePermission.OTHERS_EXECUTE)
diff -r 671ca79e2644 -r 39f8051f71d4 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sun Jan 22 22:48:51 2023 +0100
+++ b/src/Pure/ROOT.ML	Sun Jan 22 23:29:34 2023 +0100
@@ -366,4 +366,3 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
-