diff --git a/packages/conf-openjdk/conf-openjdk.1/opam b/packages/conf-openjdk/conf-openjdk.1/opam index 5fe49099001..bb1e179ce69 100644 --- a/packages/conf-openjdk/conf-openjdk.1/opam +++ b/packages/conf-openjdk/conf-openjdk.1/opam @@ -6,15 +6,32 @@ authors: "OpenJDK and Java Community" license: "GPLv2 with linking exception" build: ["javac" "-version"] depexts: [ - ["default-jdk"] {os-family = "debian"} + ["default-jdk"] {os-family = "debian" | os-family = "ubuntu"} ["java-latest-openjdk-devel"] {os-distribution = "fedora"} ["java-latest-openjdk-devel"] {os-distribution = "rhel"} ["java-latest-openjdk-devel"] {os-distribution = "ol"} ["java-latest-openjdk-devel"] {os-distribution = "centos"} ["jdk-openjdk"] {os-distribution = "arch"} - ["openjdk"] {os-distribution = "freebsd"} ["openjdk"] {os-distribution = "homebrew" & os = "macos"} ] +x-ci-accept-failures: [ + # requires the user to install a specific openjdk version + "freebsd" + # these fail CI as PATH does not include javac + "alpine-3.20" + "opensuse-15.6" + "opensuse-tumbleweed" + "macos-homebrew" + # x86_32 is debian-12-ocaml-4.14/i386 + "debian-12" +] +post-messages: [ + "Please ensure that the javac binary is installed and is available in PATH" + {failure} + """ + You may need to first install a version of openjdk, e.g., openjdk19""" + {failure & os-distribution = "freebsd"} +] synopsis: "Virtual package relying on OpenJDK / Javac" description: "This package can only install if the javac binary is installed on the system."