this repo has no description
Merge pull request #25980 from jmid/conf-openjdk-expand
conf-openjdk: add Ubuntu-family support
authored by
Calascibetta Romain
and committed by
GitHub
5100ab4e
f2328852
+19
-2
+19
-2
packages/conf-openjdk/conf-openjdk.1/opam
+19
-2
packages/conf-openjdk/conf-openjdk.1/opam
···
6
6
license: "GPLv2 with linking exception"
7
7
build: ["javac" "-version"]
8
8
depexts: [
9
-
["default-jdk"] {os-family = "debian"}
9
+
["default-jdk"] {os-family = "debian" | os-family = "ubuntu"}
10
10
["java-latest-openjdk-devel"] {os-distribution = "fedora"}
11
11
["java-latest-openjdk-devel"] {os-distribution = "rhel"}
12
12
["java-latest-openjdk-devel"] {os-distribution = "ol"}
13
13
["java-latest-openjdk-devel"] {os-distribution = "centos"}
14
14
["jdk-openjdk"] {os-distribution = "arch"}
15
-
["openjdk"] {os-distribution = "freebsd"}
16
15
["openjdk"] {os-distribution = "homebrew" & os = "macos"}
16
+
]
17
+
x-ci-accept-failures: [
18
+
# requires the user to install a specific openjdk version
19
+
"freebsd"
20
+
# these fail CI as PATH does not include javac
21
+
"alpine-3.20"
22
+
"opensuse-15.6"
23
+
"opensuse-tumbleweed"
24
+
"macos-homebrew"
25
+
# x86_32 is debian-12-ocaml-4.14/i386
26
+
"debian-12"
27
+
]
28
+
post-messages: [
29
+
"Please ensure that the javac binary is installed and is available in PATH"
30
+
{failure}
31
+
"""
32
+
You may need to first install a version of openjdk, e.g., openjdk19"""
33
+
{failure & os-distribution = "freebsd"}
17
34
]
18
35
synopsis: "Virtual package relying on OpenJDK / Javac"
19
36
description: