blob: 3c3a23a63f59f7fd6489829916e0299d7feabdc1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
RESOURCES_LIBRARY()
# Add new JDK to build/plugins/java.py (2 times)
IF(USE_SYSTEM_JDK)
MESSAGE(WARNING DEFAULT_JDK are disabled)
ELSEIF(JDK_REAL_VERSION == "21")
DECLARE_EXTERNAL_HOST_RESOURCES_BUNDLE_BY_JSON(JDK_DEFAULT jdk21/jdk.json)
SET_RESOURCE_URI_FROM_JSON(WITH_JDK_URI jdk21/jdk.json)
ELSEIF(JDK_REAL_VERSION == "20")
DECLARE_EXTERNAL_HOST_RESOURCES_BUNDLE_BY_JSON(JDK_DEFAULT jdk20/jdk.json)
SET_RESOURCE_URI_FROM_JSON(WITH_JDK_URI jdk20/jdk.json)
ELSEIF(JDK_REAL_VERSION == "19")
DECLARE_EXTERNAL_HOST_RESOURCES_BUNDLE_BY_JSON(JDK_DEFAULT jdk19/jdk.json)
SET_RESOURCE_URI_FROM_JSON(WITH_JDK_URI jdk19/jdk.json)
ELSEIF(JDK_REAL_VERSION == "18")
DECLARE_EXTERNAL_HOST_RESOURCES_BUNDLE_BY_JSON(JDK_DEFAULT jdk18/jdk.json)
SET_RESOURCE_URI_FROM_JSON(WITH_JDK_URI jdk18/jdk.json)
ELSEIF(JDK_REAL_VERSION == "17")
DECLARE_EXTERNAL_HOST_RESOURCES_BUNDLE_BY_JSON(JDK_DEFAULT jdk17/jdk.json)
SET_RESOURCE_URI_FROM_JSON(WITH_JDK_URI jdk17/jdk.json)
ELSEIF(JDK_REAL_VERSION == "15")
DECLARE_EXTERNAL_HOST_RESOURCES_BUNDLE_BY_JSON(JDK_DEFAULT jdk15/jdk.json)
SET_RESOURCE_URI_FROM_JSON(WITH_JDK_URI jdk15/jdk.json)
ELSEIF(JDK_REAL_VERSION == "11")
DECLARE_EXTERNAL_HOST_RESOURCES_BUNDLE_BY_JSON(JDK_DEFAULT jdk11/jdk.json)
SET_RESOURCE_URI_FROM_JSON(WITH_JDK_URI jdk11/jdk.json)
ELSEIF(JDK_REAL_VERSION == "8")
DECLARE_EXTERNAL_HOST_RESOURCES_BUNDLE_BY_JSON(JDK_DEFAULT jdk8/jdk.json)
SET_RESOURCE_URI_FROM_JSON(WITH_JDK_URI jdk8/jdk.json)
ELSE()
MESSAGE(FATAL_ERROR Unsupported JDK version ${JDK_REAL_VERSION})
ENDIF()
IF (WITH_JDK_URI)
DECLARE_EXTERNAL_RESOURCE(WITH_JDK ${WITH_JDK_URI})
ENDIF()
END()
RECURSE(
jdk8
jdk11
jdk15
jdk17
jdk18
jdk19
jdk20
jdk21
testing
)
|
