Skip to content

Commit fccc2e5

Browse files
committed
patches for arch
1 parent a15a6d6 commit fccc2e5

1 file changed

Lines changed: 7 additions & 5 deletions

File tree

ortools_solvers.opam

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -53,8 +53,10 @@ depexts: [
5353
["zlib"] {os = "macos" & os-distribution = "homebrew"}
5454
["libz-dev"] {os-distribution = "debian"}
5555
["zlib-dev"] {os-distribution = "alpine"}
56-
["zlib"] {os-distribution = "archinux"}
57-
["zlib-devel"] {os-distribution = "centos"}
56+
["zlib"] {os-distribution = "arch"}
57+
["zlib-devel" "zlib-static"] {os-distribution = "centos-9"}
58+
["zlib-ng-compat-devel" "zlib-ng-compat-static"]
59+
{os-distribution = "centos-10"}
5860
["zlib-ng-compat-devel" "zlib-ng-compat-static"]
5961
{os-distribution = "fedora"}
6062
["libzip"] {os-distribution = "freebsd"}
@@ -65,7 +67,7 @@ depexts: [
6567
["bzip2"] {os = "macos" & os-distribution = "homebrew"}
6668
["libbz2-dev"] {os-distribution = "debian"}
6769
["bzip2-dev"] {os-distribution = "alpine"}
68-
["bzip2"] {os-distribution = "archlinux"}
70+
["bzip2"] {os-distribution = "arch"}
6971
["bzip2-devel"] {os-distribution = "centos"}
7072
["bzip2-devel"] {os-distribution = "fedora"}
7173
["bzip2"] {os-distribution = "freebsd"}
@@ -77,7 +79,7 @@ depexts: [
7779
["eigen@3"] {os = "macos" & os-distribution = "homebrew"}
7880
["libeigen3-dev"] {os-distribution = "debian"}
7981
["eigen-dev"] {os-distribution = "alpine"}
80-
["eigen3"] {os-distribution = "archlinux"}
82+
["eigen3"] {os-distribution = "arch"}
8183
["eigen3"] {os-distribution = "centos"}
8284
["eigen3-devel"] {os-distribution = "fedora"}
8385
["eigen"] {os-distribution = "freebsd"}
@@ -89,7 +91,7 @@ depexts: [
8991
["linux-headers"] {os-distribution = "alpine"}
9092

9193
## brittle
92-
## debian, alpine, archlinux: build with OCaml ortools_solvers package
94+
## debian, alpine, arch: build with OCaml ortools_solvers package
9395

9496
# abseil 20260107.0
9597
["abseil"] {os = "macos" & os-distribution = "homebrew"}

0 commit comments

Comments
 (0)