src/Pure/Admin/component_jdk.scala
changeset 83343 ee3a09458665
parent 82968 b2b88d5b01b6
equal deleted inserted replaced
83342:d106285f2d7b 83343:ee3a09458665
    31 
    31 
    32 
    32 
    33   /* build jdk */
    33   /* build jdk */
    34 
    34 
    35   val default_base_url = "https://cdn.azul.com/zulu/bin"
    35   val default_base_url = "https://cdn.azul.com/zulu/bin"
    36   val default_jdk_version = "21.0.8"
    36   val default_jdk_version = "21.0.9"
    37   val default_zulu_version = "21.44.17-ca"
    37   val default_zulu_version = "21.46.19-ca"
    38 
    38 
    39   def build_jdk(
    39   def build_jdk(
    40     target_dir: Path = Path.current,
    40     target_dir: Path = Path.current,
    41     base_url: String = default_base_url,
    41     base_url: String = default_base_url,
    42     jdk_version: String = default_jdk_version,
    42     jdk_version: String = default_jdk_version,