Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_jdk.scala
changeset 77047 39f8051f71d4
parent 76548 0af64cc2eee9 
--- 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)
isabelle