Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

conf-openjdk: add Ubuntu-family support #25980

Merged
merged 9 commits into from
Aug 22, 2024
21 changes: 19 additions & 2 deletions packages/conf-openjdk/conf-openjdk.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -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."
Expand Down