this repo has no description
Merge pull request #25511 from Leonidas-from-XIV/oraclelinux-ol
Replace `oraclelinux` with `ol`
authored by
Marcello Seri
and committed by
GitHub
ae4dfb45
69e073a5
+9
-9
+1
-1
packages/conf-alsa/conf-alsa.1/opam
+1
-1
packages/conf-alsa/conf-alsa.1/opam
···
11
11
depexts: [
12
12
["alsa-lib"] {os-distribution = "nixos" | os-family = "arch"}
13
13
["alsa-lib-dev"] {os-distribution = "alpine"}
14
-
["alsa-lib-devel"] {os-distribution = "centos" | os-distribution = "fedora" | os-family = "suse" | os-family = "opensuse" | os-distribution = "oraclelinux"}
14
+
["alsa-lib-devel"] {os-distribution = "centos" | os-distribution = "fedora" | os-family = "suse" | os-family = "opensuse" | os-distribution = "ol"}
15
15
["libasound2-dev"] {os-family = "debian" | os-family = "ubuntu"}
16
16
17
17
]
+1
-1
packages/conf-libX11/conf-libX11.1/opam
+1
-1
packages/conf-libX11/conf-libX11.1/opam
···
14
14
depends: ["conf-pkg-config" {build}]
15
15
depexts: [
16
16
["libx11-dev"] {os-family = "debian" | os-family = "ubuntu"}
17
-
["libX11-devel"] {os-distribution = "centos" | os-distribution = "oraclelinux" | os-distribution = "fedora" | os-family = "suse" | os-family = "opensuse"}
17
+
["libX11-devel"] {os-distribution = "centos" | os-distribution = "ol" | os-distribution = "fedora" | os-family = "suse" | os-family = "opensuse"}
18
18
["libx11-dev"] {os-distribution = "alpine"}
19
19
["libx11"] {os-distribution = "arch"}
20
20
["libX11-dev"] {os-distribution = "cygwin"}
+2
-2
packages/conf-libgccjit/conf-libgccjit.1/opam
+2
-2
packages/conf-libgccjit/conf-libgccjit.1/opam
···
10
10
# On MacOS, both cc and gcc bind to the clang compiler, so the gccjit bindings
11
11
# might not work out-of-the-box and we use a specific version of gcc below.
12
12
available: [
13
-
((os-distribution != "ol" & os-distribution != "oraclelinux") | os-version >= "9")
13
+
!(os-distribution = "ol" & os-version < "9")
14
14
]
15
15
build: [
16
16
# Unfortunately on MacOS, the default compiler is clang, even for the
···
43
43
["libgccjit"] {os-family = "nixos"}
44
44
["libgccjit-devel"] {os-distribution = "centos"}
45
45
["libgccjit-devel"] {os-distribution = "fedora"}
46
-
["libgccjit-devel"] {(os-distribution = "ol" | os-distribution = "oraclelinux") & os-version >= "9"}
46
+
["libgccjit-devel"] {os-distribution = "ol" & os-version >= "9"}
47
47
["libgccjit"] {os-family = "arch"}
48
48
["libgccjit-dev"] {os-family = "alpine"}
49
49
# Note: opam's automatic resolution of OS variables can be inconsistent across OS installations.
+1
-1
packages/conf-ninja/conf-ninja.1/opam
+1
-1
packages/conf-ninja/conf-ninja.1/opam
···
5
5
license: "Apache-2.0"
6
6
build: ["ninja" "--version"]
7
7
depexts: [
8
-
["ninja-build"] {os-family = "debian" | os-family = "fedora" | os-distribution = "oraclelinux"}
8
+
["ninja-build"] {os-family = "debian" | os-family = "fedora" | os-distribution = "ol"}
9
9
["samurai"] {os-distribution = "alpine"}
10
10
["ninja"] {os-family = "arch" | os-family = "suse" | os-family = "opensuse" | os-family = "bsd"}
11
11
["ninja"] {os = "macos" & ( os-distribution = "homebrew" | os-distribution = "macports" )}
+1
-1
packages/conf-portaudio/conf-portaudio.1/opam
+1
-1
packages/conf-portaudio/conf-portaudio.1/opam
···
12
12
["portaudio-dev"] {os-distribution = "alpine"}
13
13
["portaudio-devel"] {os-distribution = "centos" | os-distribution = "fedora" | os-family = "suse" | os-family = "opensuse"}
14
14
["portaudio"] {os = "macos" & os-distribution = "homebrew"}
15
-
["portaudio"] {os = "freebsd" | os-family = "arch" | os-distribution = "nixos" | os-distribution = "oraclelinux"}
15
+
["portaudio"] {os = "freebsd" | os-family = "arch" | os-distribution = "nixos" | os-distribution = "ol"}
16
16
["portaudio"] {os = "win32" & os-distribution = "cygwinports"}
17
17
["portaudio19-dev"] {os-family = "debian" | os-family = "ubuntu"}
18
18
]
+1
-1
packages/conf-pulseaudio/conf-pulseaudio.1/opam
+1
-1
packages/conf-pulseaudio/conf-pulseaudio.1/opam
···
12
12
["pulseaudio-dev"] {os-distribution = "alpine"}
13
13
["pulseaudio-libs-devel"] {os-distribution = "centos" | os-distribution = "fedora" | os-family = "suse" | os-family = "opensuse"}
14
14
["pulseaudio"] {os = "macos" & os-distribution = "homebrew"}
15
-
["pulseaudio"] {os = "freebsd" | os-family = "arch" | os-distribution = "nixos" | os-distribution = "oraclelinux"}
15
+
["pulseaudio"] {os = "freebsd" | os-family = "arch" | os-distribution = "nixos" | os-distribution = "ol"}
16
16
["libpulse-dev"] {os-family = "debian" | os-family = "ubunty"}
17
17
]
18
18
synopsis: "Virtual package relying on pulseaudio"
+1
-1
packages/conf-soundtouch/conf-soundtouch.1/opam
+1
-1
packages/conf-soundtouch/conf-soundtouch.1/opam
···
12
12
["soundtouch-dev"] {os-distribution = "alpine"}
13
13
["soundtouch-devel"] {os-distribution = "centos" | os-distribution = "fedora" | os-family = "suse" | os-family = "opensuse"}
14
14
["libsoundtouch-dev"] {os-family = "debian" | os-family = "ubuntu"}
15
-
["soundtouch"] {os = "freebsd" | os-family = "arch" | os-distribution = "nixos" | os-distribution = "oraclelinux"}
15
+
["soundtouch"] {os = "freebsd" | os-family = "arch" | os-distribution = "nixos" | os-distribution = "ol"}
16
16
["sound-touch"] {os = "macos" & os-distribution = "homebrew"}
17
17
]
18
18
synopsis: "Virtual package relying on soundtouch"
+1
-1
packages/dlm/dlm.0.3.1/opam
+1
-1
packages/dlm/dlm.0.3.1/opam
···
26
26
["dlm-devel"] {os-distribution = "rhel"}
27
27
["dlm-devel"] {os-distribution = "centos"}
28
28
["dlm-devel"] {os-distribution = "fedora"}
29
-
["dlm-devel"] {os-distribution = "oraclelinux"}
29
+
["dlm-devel"] {os-distribution = "ol"}
30
30
["libdlm-devel"] {os-family = "suse" | os-family = "opensuse"}
31
31
]
32
32
available: [ os = "linux"]