author | wenzelm |
Fri, 25 Nov 2022 20:18:10 +0100 | |
changeset 76534 | 69139cc01ba1 |
parent 76530 | 2bf13b30b98e |
child 76536 | 80dc20ffd31b |
permissions | -rw-r--r-- |
64929 | 1 |
/* Title: Pure/Admin/build_jdk.scala |
2 |
Author: Makarius |
|
3 |
||
76534 | 4 |
Build Isabelle jdk component using downloads from Azul. |
64929 | 5 |
*/ |
6 |
||
7 |
package isabelle |
|
8 |
||
9 |
||
64933 | 10 |
import java.nio.file.Files |
64934 | 11 |
import java.nio.file.attribute.PosixFilePermission |
64933 | 12 |
|
64929 | 13 |
|
75393 | 14 |
object Build_JDK { |
76534 | 15 |
/* platform information */ |
73081
120ffea2c244
prefer OpenJDK from Azul: supports more versions and platforms;
wenzelm
parents:
72894
diff
changeset
|
16 |
|
76534 | 17 |
sealed case class JDK_Platform(name: String, url_template: String) { |
18 |
override def toString: String = name |
|
73081
120ffea2c244
prefer OpenJDK from Azul: supports more versions and platforms;
wenzelm
parents:
72894
diff
changeset
|
19 |
|
76534 | 20 |
def url(base_url: String, jdk_version: String, zulu_version: String): String = |
21 |
base_url + "/" + url_template.replace("{V}", jdk_version).replace("{Z}", zulu_version) |
|
64929 | 22 |
} |
23 |
||
76534 | 24 |
val platforms: List[JDK_Platform] = |
66906 | 25 |
List( |
76534 | 26 |
JDK_Platform("arm64-darwin", "zulu{Z}-jdk{V}-macosx_aarch64.tar.gz"), |
27 |
JDK_Platform("arm64-linux", "zulu{Z}-jdk{V}-linux_aarch64.tar.gz"), |
|
28 |
JDK_Platform("x86_64-darwin", "zulu{Z}-jdk{V}-macosx_x64.tar.gz"), |
|
29 |
JDK_Platform("x86_64-linux", "zulu{Z}-jdk{V}-linux_x64.tar.gz"), |
|
30 |
JDK_Platform("x86_64-windows", "zulu{Z}-jdk{V}-win_x64.zip")) |
|
31 |
||
32 |
||
33 |
/* build jdk */ |
|
34 |
||
35 |
val default_base_url = "https://cdn.azul.com/zulu/bin" |
|
36 |
val default_jdk_version = "17.0.5" |
|
37 |
val default_zulu_version = "17.38.21-ca" |
|
38 |
||
39 |
def build_jdk( |
|
40 |
target_dir: Path = Path.current, |
|
41 |
base_url: String = default_base_url, |
|
42 |
jdk_version: String = default_jdk_version, |
|
43 |
zulu_version: String = default_zulu_version, |
|
44 |
progress: Progress = new Progress, |
|
45 |
): Unit = { |
|
46 |
/* component */ |
|
47 |
||
48 |
val component = "jdk-" + jdk_version |
|
49 |
val component_dir = |
|
50 |
Components.Directory.create(target_dir + Path.basic(component), progress = progress) |
|
64929 | 51 |
|
52 |
||
76534 | 53 |
/* download */ |
64929 | 54 |
|
76534 | 55 |
for (platform <- platforms) { |
56 |
Isabelle_System.with_tmp_dir("download", component_dir.path.file) { dir => |
|
57 |
val url = platform.url(base_url, jdk_version, zulu_version) |
|
58 |
val name = Library.take_suffix(_ != '/', url.toList)._2.mkString |
|
59 |
val file = dir + Path.basic(name) |
|
60 |
Isabelle_System.download_file(url, file, progress = progress) |
|
61 |
Isabelle_System.extract(file, dir) |
|
64929 | 62 |
|
76534 | 63 |
val jdk_dir = File.get_dir(dir, title = url) |
64 |
val platform_dir = component_dir.path + Path.basic(platform.name) |
|
65 |
Isabelle_System.move_file(jdk_dir, platform_dir) |
|
66 |
} |
|
67 |
} |
|
64929 | 68 |
|
69 |
||
76534 | 70 |
/* permissions */ |
64929 | 71 |
|
76534 | 72 |
for (file <- File.find_files(component_dir.path.file, include_dirs = true)) { |
73 |
val path = file.toPath |
|
74 |
val perms = Files.getPosixFilePermissions(path) |
|
75 |
perms.add(PosixFilePermission.OWNER_READ) |
|
76 |
perms.add(PosixFilePermission.GROUP_READ) |
|
77 |
perms.add(PosixFilePermission.OTHERS_READ) |
|
78 |
perms.add(PosixFilePermission.OWNER_WRITE) |
|
79 |
if (file.isDirectory) { |
|
80 |
perms.add(PosixFilePermission.OWNER_WRITE) |
|
81 |
perms.add(PosixFilePermission.OWNER_EXECUTE) |
|
82 |
perms.add(PosixFilePermission.GROUP_EXECUTE) |
|
83 |
perms.add(PosixFilePermission.OTHERS_EXECUTE) |
|
84 |
} |
|
85 |
Files.setPosixFilePermissions(path, perms) |
|
86 |
} |
|
87 |
||
88 |
||
89 |
/* settings */ |
|
90 |
||
91 |
File.write(component_dir.settings, |
|
92 |
"""# -*- shell-script -*- :mode=shellscript: |
|
64929 | 93 |
|
94 |
case "$ISABELLE_PLATFORM_FAMILY" in |
|
95 |
linux) |
|
66906 | 96 |
ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64" |
64929 | 97 |
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM" |
98 |
;; |
|
99 |
windows) |
|
66906 | 100 |
ISABELLE_JAVA_PLATFORM="$ISABELLE_WINDOWS_PLATFORM64" |
64929 | 101 |
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM" |
102 |
;; |
|
103 |
macos) |
|
73082
e67d659d7a41
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
wenzelm
parents:
73081
diff
changeset
|
104 |
if [ -n "$ISABELLE_APPLE_PLATFORM64" -a -d "$COMPONENT/$ISABELLE_APPLE_PLATFORM64" ] |
73081
120ffea2c244
prefer OpenJDK from Azul: supports more versions and platforms;
wenzelm
parents:
72894
diff
changeset
|
105 |
then |
120ffea2c244
prefer OpenJDK from Azul: supports more versions and platforms;
wenzelm
parents:
72894
diff
changeset
|
106 |
ISABELLE_JAVA_PLATFORM="$ISABELLE_APPLE_PLATFORM64" |
120ffea2c244
prefer OpenJDK from Azul: supports more versions and platforms;
wenzelm
parents:
72894
diff
changeset
|
107 |
else |
120ffea2c244
prefer OpenJDK from Azul: supports more versions and platforms;
wenzelm
parents:
72894
diff
changeset
|
108 |
ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64" |
120ffea2c244
prefer OpenJDK from Azul: supports more versions and platforms;
wenzelm
parents:
72894
diff
changeset
|
109 |
fi |
73082
e67d659d7a41
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
wenzelm
parents:
73081
diff
changeset
|
110 |
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM" |
64929 | 111 |
;; |
112 |
esac |
|
76534 | 113 |
""") |
64929 | 114 |
|
115 |
||
76534 | 116 |
/* README */ |
64929 | 117 |
|
76534 | 118 |
File.write(component_dir.README, |
119 |
"""This is OpenJDK """ + jdk_version + """ based on downloads by Azul, see also |
|
120 |
https://www.azul.com/downloads/?package=jdk |
|
64929 | 121 |
|
76534 | 122 |
The main license is GPL2, but some modules are covered by other (more liberal) |
123 |
licenses, see legal/* for details. |
|
64929 | 124 |
|
76534 | 125 |
Linux, Windows, macOS all work uniformly, depending on platform-specific |
126 |
subdirectories. |
|
127 |
""") |
|
64929 | 128 |
} |
129 |
||
130 |
||
131 |
/* Isabelle tool wrapper */ |
|
132 |
||
133 |
val isabelle_tool = |
|
76534 | 134 |
Isabelle_Tool("build_jdk", "build Isabelle jdk component using downloads from Azul", |
75394 | 135 |
Scala_Project.here, |
136 |
{ args => |
|
137 |
var target_dir = Path.current |
|
76534 | 138 |
var base_url = default_base_url |
139 |
var jdk_version = default_jdk_version |
|
140 |
var zulu_version = default_zulu_version |
|
64929 | 141 |
|
75394 | 142 |
val getopts = Getopts(""" |
76534 | 143 |
Usage: isabelle build_jdk [OPTIONS] |
64929 | 144 |
|
145 |
Options are: |
|
146 |
-D DIR target directory (default ".") |
|
76534 | 147 |
-U URL base URL (default: """" + default_base_url + """") |
148 |
-V NAME JDK version (default: """" + default_jdk_version + """") |
|
149 |
-Z NAME Zulu version (default: """" + default_zulu_version + """") |
|
64929 | 150 |
|
76534 | 151 |
Build Isabelle jdk component using downloads from Azul. |
64929 | 152 |
""", |
76534 | 153 |
"D:" -> (arg => target_dir = Path.explode(arg)), |
154 |
"U:" -> (arg => base_url = arg), |
|
155 |
"V:" -> (arg => jdk_version = arg), |
|
156 |
"Z:" -> (arg => zulu_version = arg)) |
|
64929 | 157 |
|
75394 | 158 |
val more_args = getopts(args) |
76534 | 159 |
if (more_args.nonEmpty) getopts.usage() |
64929 | 160 |
|
75394 | 161 |
val progress = new Console_Progress() |
64929 | 162 |
|
76534 | 163 |
build_jdk(target_dir = target_dir, base_url = base_url, |
164 |
jdk_version = jdk_version, zulu_version = zulu_version, progress = progress) |
|
75394 | 165 |
}) |
64929 | 166 |
} |