Lines Matching refs:version
18 /* version */
27 case _ => error("Cannot detect JDK version from " + quote(s))
57 def readme(version: Version): String =
58 """This is JDK/JRE """ + version.full + """ as required for Isabelle.
105 val version = detect_version(dir_entry)
115 (version, platform)
135 val version =
137 case List(version) => version
149 val jdk_name = "jdk-" + version.short
155 File.write(component_dir + Path.explode("README"), readme(version))