64929
|
1 |
/* Title: Pure/Admin/build_jdk.scala
|
|
2 |
Author: Makarius
|
|
3 |
|
|
4 |
Build Isabelle jdk component from original platform installations.
|
|
5 |
*/
|
|
6 |
|
|
7 |
package isabelle
|
|
8 |
|
|
9 |
|
|
10 |
import scala.util.matching.Regex
|
|
11 |
|
|
12 |
|
|
13 |
object Build_JDK
|
|
14 |
{
|
|
15 |
/* version */
|
|
16 |
|
|
17 |
sealed case class Version(short: String, full: String)
|
|
18 |
|
|
19 |
def detect_version(s: String): Version =
|
|
20 |
{
|
|
21 |
val Version_Dir_Entry = """^jdk1\.(\d+)\.0_(\d+)(?:\.jdk)?$""".r
|
|
22 |
s match {
|
|
23 |
case Version_Dir_Entry(a, b) => Version(a + "u" + b, "1." + a + ".0_" + b)
|
|
24 |
case _ => error("Cannot detect JDK version from " + quote(s))
|
|
25 |
}
|
|
26 |
}
|
|
27 |
|
|
28 |
|
|
29 |
/* platform */
|
|
30 |
|
|
31 |
sealed case class JDK_Platform(name: String, exe: String, regex: Regex)
|
|
32 |
{
|
|
33 |
override def toString: String = name
|
|
34 |
|
|
35 |
def detect(jdk_dir: Path): Boolean =
|
|
36 |
{
|
|
37 |
val path = jdk_dir + Path.explode(exe)
|
|
38 |
if (path.is_file) {
|
|
39 |
val file_descr = Isabelle_System.bash("file -b " + File.bash_path(path)).check.out
|
|
40 |
regex.pattern.matcher(file_descr).matches
|
|
41 |
}
|
|
42 |
else false
|
|
43 |
}
|
|
44 |
}
|
|
45 |
val jdk_platforms =
|
|
46 |
List(JDK_Platform("x86-linux", "bin/java", """.*ELF 32-bit.*80386.*""".r),
|
|
47 |
JDK_Platform("x86_64-linux", "bin/java", """.*ELF 64-bit.*x86[-_]64.*""".r),
|
|
48 |
JDK_Platform("x86-windows", "bin/java.exe", """.*PE32 executable.*80386.*""".r),
|
|
49 |
JDK_Platform("x86_64-windows", "bin/java.exe", """.*PE32\+ executable.*x86[-_]64.*""".r),
|
|
50 |
JDK_Platform("x86_64-darwin", "Contents/Home/bin/java", """.*Mach-O 64-bit.*x86[-_]64.*""".r))
|
|
51 |
|
|
52 |
|
|
53 |
/* README */
|
|
54 |
|
|
55 |
def readme(version: Version): String =
|
|
56 |
"""This is JDK/JRE """ + version.full + """ as required for Isabelle.
|
|
57 |
|
|
58 |
See http://www.oracle.com/technetwork/java/javase/downloads/index.html
|
|
59 |
for the original downloads, which are covered by the Oracle Binary
|
|
60 |
Code License Agreement for Java SE.
|
|
61 |
|
|
62 |
Linux, Windows, Mac OS X all work uniformly, depending on certain
|
|
63 |
platform-specific subdirectories.
|
|
64 |
"""
|
|
65 |
|
|
66 |
|
|
67 |
/* settings */
|
|
68 |
|
|
69 |
val settings =
|
|
70 |
"""# -*- shell-script -*- :mode=shellscript:
|
|
71 |
|
|
72 |
case "$ISABELLE_PLATFORM_FAMILY" in
|
|
73 |
linux)
|
|
74 |
ISABELLE_JAVA_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
|
|
75 |
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
|
|
76 |
;;
|
|
77 |
windows)
|
|
78 |
if [ ! -e "$COMPONENT/x86_64-windows" ]; then
|
|
79 |
ISABELLE_JAVA_PLATFORM="x86-windows"
|
|
80 |
elif "$COMPONENT/x86_64-windows/jre/bin/java" -version > /dev/null 2> /dev/null; then
|
|
81 |
ISABELLE_JAVA_PLATFORM="x86_64-windows"
|
|
82 |
else
|
|
83 |
ISABELLE_JAVA_PLATFORM="x86-windows"
|
|
84 |
fi
|
|
85 |
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
|
|
86 |
;;
|
|
87 |
macos)
|
|
88 |
if [ -z "$ISABELLE_PLATFORM64" ]; then
|
|
89 |
echo "### Java unavailable on 32bit Mac OS X" >&2
|
|
90 |
else
|
|
91 |
ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64"
|
|
92 |
ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM/Contents/Home"
|
|
93 |
fi
|
|
94 |
;;
|
|
95 |
esac
|
|
96 |
"""
|
|
97 |
|
|
98 |
|
|
99 |
/* extract archive */
|
|
100 |
|
|
101 |
def extract_archive(dir: Path, archive: Path): (Version, JDK_Platform) =
|
|
102 |
{
|
|
103 |
try {
|
|
104 |
val tmp_dir = dir + Path.explode("tmp")
|
|
105 |
Isabelle_System.mkdirs(tmp_dir)
|
|
106 |
Isabelle_System.bash(
|
|
107 |
"tar -C " + File.bash_path(tmp_dir) + " -xzf " + File.bash_path(archive)).check
|
|
108 |
val dir_entry =
|
|
109 |
File.read_dir(tmp_dir) match {
|
|
110 |
case List(s) => s
|
|
111 |
case _ => error("Archive contains multiple directories")
|
|
112 |
}
|
|
113 |
val version = detect_version(dir_entry)
|
|
114 |
|
|
115 |
val jdk_dir = tmp_dir + Path.explode(dir_entry)
|
|
116 |
val platform =
|
|
117 |
jdk_platforms.find(_.detect(jdk_dir)) getOrElse error("Failed to detect JDK platform")
|
|
118 |
|
|
119 |
val platform_dir = dir + Path.explode(platform.name)
|
|
120 |
if (platform_dir.is_dir) error("Directory already exists: " + platform_dir)
|
64930
|
121 |
File.move(jdk_dir, platform_dir)
|
64929
|
122 |
|
|
123 |
(version, platform)
|
|
124 |
}
|
|
125 |
catch { case ERROR(msg) => cat_error(msg, "The error(s) above occurred for " + archive) }
|
|
126 |
}
|
|
127 |
|
|
128 |
|
|
129 |
/* build jdk */
|
|
130 |
|
|
131 |
def build_jdk(
|
|
132 |
archives: List[Path],
|
|
133 |
progress: Progress = No_Progress,
|
|
134 |
target_dir: Path = Path.current)
|
|
135 |
{
|
|
136 |
if (Platform.is_windows) error("Cannot build jdk on Windows")
|
|
137 |
|
|
138 |
Isabelle_System.with_tmp_dir("jdk")(dir =>
|
|
139 |
{
|
|
140 |
progress.echo("Extracting ...")
|
|
141 |
val extracted = archives.map(extract_archive(dir, _))
|
|
142 |
|
|
143 |
val version =
|
|
144 |
extracted.map(_._1).toSet.toList match {
|
|
145 |
case List(version) => version
|
|
146 |
case Nil => error("No archives")
|
|
147 |
case versions =>
|
|
148 |
error("Archives contain multiple JDK versions: " +
|
|
149 |
commas_quote(versions.map(_.short)))
|
|
150 |
}
|
|
151 |
|
|
152 |
val missing_platforms =
|
|
153 |
jdk_platforms.filterNot(p1 => extracted.exists({ case (_, p2) => p1.name == p2.name }))
|
|
154 |
if (missing_platforms.nonEmpty)
|
|
155 |
error("Missing platforms: " + commas_quote(missing_platforms.map(_.name)))
|
|
156 |
|
|
157 |
val jdk_name = "jdk-" + version.short
|
|
158 |
val jdk_path = Path.explode(jdk_name)
|
|
159 |
val component_dir = dir + jdk_path
|
|
160 |
|
|
161 |
Isabelle_System.mkdirs(component_dir + Path.explode("etc"))
|
|
162 |
File.write(component_dir + Path.explode("etc/settings"), settings)
|
|
163 |
File.write(component_dir + Path.explode("README"), readme(version))
|
|
164 |
|
64930
|
165 |
for ((_, platform) <- extracted)
|
|
166 |
File.move(dir + Path.explode(platform.name), component_dir)
|
64929
|
167 |
|
|
168 |
Isabelle_System.bash(cwd = component_dir.file,
|
|
169 |
script = """
|
|
170 |
chmod -R a+r . &&
|
64931
|
171 |
chmod -R a+X . """).check
|
|
172 |
|
|
173 |
File.find_files((component_dir + Path.explode("x86_64-darwin")).file,
|
|
174 |
file => file.getName.startsWith("._")).foreach(_.delete)
|
64929
|
175 |
|
|
176 |
progress.echo("Sharing ...")
|
|
177 |
Isabelle_System.bash(cwd = component_dir.file,
|
|
178 |
script = """
|
|
179 |
cd x86-linux
|
|
180 |
for FILE in $(find . -type f)
|
|
181 |
do
|
|
182 |
for OTHER in \
|
|
183 |
"../x86_64-linux/$FILE" \
|
|
184 |
"../x86-windows/$FILE" \
|
|
185 |
"../x86_64-windows/$FILE" \
|
|
186 |
"../x86_64-darwin/Contents/Home/$FILE"
|
|
187 |
do
|
|
188 |
if cmp -s "$FILE" "$OTHER"
|
|
189 |
then
|
|
190 |
ln -f "$FILE" "$OTHER"
|
|
191 |
fi
|
|
192 |
done
|
|
193 |
done
|
|
194 |
""").check
|
|
195 |
|
|
196 |
progress.echo("Archiving ...")
|
|
197 |
Isabelle_System.bash("tar -C " + File.bash_path(dir) + " -czf " +
|
|
198 |
File.bash_path(target_dir + jdk_path.ext("tar.gz")) + " " + jdk_name).check
|
|
199 |
})
|
|
200 |
}
|
|
201 |
|
|
202 |
|
|
203 |
/* Isabelle tool wrapper */
|
|
204 |
|
|
205 |
val isabelle_tool =
|
|
206 |
Isabelle_Tool("build_jdk", "build Isabelle jdk component from original platform installations",
|
|
207 |
args =>
|
|
208 |
{
|
|
209 |
var target_dir = Path.current
|
|
210 |
|
|
211 |
val getopts = Getopts("""
|
|
212 |
Usage: Admin/build_jdk [OPTIONS] ARCHIVES...
|
|
213 |
|
|
214 |
Options are:
|
|
215 |
-D DIR target directory (default ".")
|
|
216 |
|
|
217 |
Build jdk component from tar.gz archives, with original jdk installations
|
|
218 |
for Linux (x86, x86_64), Windows (x86, x86_64), Mac OS X (x86_64).
|
|
219 |
""",
|
|
220 |
"D:" -> (arg => target_dir = Path.explode(arg)))
|
|
221 |
|
|
222 |
val more_args = getopts(args)
|
|
223 |
if (more_args.isEmpty) getopts.usage()
|
|
224 |
|
|
225 |
val archives = more_args.map(Path.explode(_))
|
|
226 |
val progress = new Console_Progress()
|
|
227 |
|
|
228 |
build_jdk(archives = archives, progress = progress, target_dir = target_dir)
|
|
229 |
}, admin = true)
|
|
230 |
}
|