src/Pure/Admin/component_jdk.scala
changeset 79013 4fb5e6499da9
parent 78300 ab95c9f2d55c
child 79528 667cb8b79909
equal deleted inserted replaced
79012:b6bca0666c38 79013:4fb5e6499da9
    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 = "17.0.7"
    36   val default_jdk_version = "21.0.1"
    37   val default_zulu_version = "17.42.19-ca"
    37   val default_zulu_version = "21.30.15-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,