From 503d53d6b1df13e6f04c519ba562256e35911a76 Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Fri, 13 Feb 2026 21:43:06 +0100 Subject: [PATCH 01/10] [new release] ortools (2 packages) (9.15.0) CHANGES: Include the v9.15 Google OR-tools source and build together with the OCaml interface. Rewrite the interface in C++ to avoid an unnecessary copy and allow feasible solution observers. --- packages/ortools/ortools.9.15.0/opam | 54 +++++++ .../ortools_solvers.9.15.0/opam | 135 ++++++++++++++++++ 2 files changed, 189 insertions(+) create mode 100644 packages/ortools/ortools.9.15.0/opam create mode 100644 packages/ortools_solvers/ortools_solvers.9.15.0/opam diff --git a/packages/ortools/ortools.9.15.0/opam b/packages/ortools/ortools.9.15.0/opam new file mode 100644 index 000000000000..14041ed81333 --- /dev/null +++ b/packages/ortools/ortools.9.15.0/opam @@ -0,0 +1,54 @@ +opam-version: "2.0" + +synopsis: +"Build and export Google OR-Tools models" + +description: """ +Google OR-Tools is an open source software suite for optimization, tuned +for tackling the world's toughest problems in vehicle routing, flows, +integer and linear programming, and constraint programming. This package +provides OCaml functions for working with the Protocol Buffer formats that +are read and written by the different solvers. It does not actually depend +on the OR-Tools software, which need not even be installed. The interface +currently only supports a subset of the features provided by the CP-SAT solver. +Pull requests for more features and solvers are welcome.""" + +maintainer: ["Timothy Bourke "] +authors: ["Timothy Bourke "] +license: "Apache-2.0" +homepage: "https://github.com/inria/ocaml-ortools" +bug-reports: "https://github.com/inria/ocaml-ortools/issues" +dev-repo: "git+https://github.com/inria/ocaml-ortools.git" +x-maintenance-intent: ["(latest)"] + +depends: [ + "ocaml" {>= "4.14.2"} + "dune" {>= "3.21"} + "pbrt" {>= "4.0"} + "odoc" {with-doc} +] + +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +url { + src: + "https://github.com/INRIA/ocaml-ortools/releases/download/9.15.0/ortools-9.15.0.tbz" + checksum: [ + "sha256=2686dc86106bd65cf9b4d031b4d3cc1308a91df7e0cabd41bdd0b1482a0d6776" + "sha512=712e86fd7be0a059027892f06d42a909bd4df178ef9c73d69ef3835de3a30edd1356804efb0c580872f82d0fa84e08da355bbbb59fbc5f3b46b9e5f02e8a0672" + ] +} +x-commit-hash: "34e08c0eecf5eff0f04855c8abf5051f8bd1a472" + diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam new file mode 100644 index 000000000000..60c28461a45c --- /dev/null +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -0,0 +1,135 @@ +opam-version: "2.0" + +synopsis: +"Call Google OR-Tools solvers" + +description: """ +Google OR-Tools is an open source software suite for optimization, tuned +for tackling the world's toughest problems in vehicle routing, flows, +integer and linear programming, and constraint programming. This package +provides OCaml wrappers for calling the OR-Tools solvers. It currently only +supports the CP-SAT solver. Pull requests for other solvers are welcome.""" + +maintainer: ["Timothy Bourke "] +authors: ["Timothy Bourke "] +license: "Apache-2.0" +homepage: "https://github.com/inria/ocaml-ortools" +bug-reports: "https://github.com/inria/ocaml-ortools/issues" +dev-repo: "git+https://github.com/inria/ocaml-ortools.git" +x-maintenance-intent: ["(latest)"] + +depends: [ + "ocaml" {>= "4.14.2"} + "dune" {>= "3.21"} + "ortools" {>= "9.15"} + "conf-cmake" {build} + "sexplib0" {build} + "csexp" {build} + "odoc" {with-doc} +] + +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] + +depexts: [ +## solid + + #zlib 1.3.1 + ["zlib"] {os = "macos" & os-distribution = "homebrew"} + ["libz-dev"] {os-distribution = "debian"} + ["zlib-dev"] {os-distribution = "alpine"} + ["zlib"] {os-distribution = "arch"} + ["zlib-devel" "zlib-static"] + {os-distribution = "centos" & os-version = "9"} + ["zlib-ng-compat-devel" "zlib-ng-compat-static"] + {os-distribution = "centos" & os-version = "10"} + ["zlib-ng-compat-devel" "zlib-ng-compat-static"] + {os-distribution = "fedora"} + ["libzip"] {os-distribution = "freebsd"} + ["libz1"] {os-distribution = "opensuse"} + ["zlib1g-dev"] {os-distribution = "ubuntu"} + + # 1.0.8 + ["bzip2"] {os = "macos" & os-distribution = "homebrew"} + ["libbz2-dev"] {os-distribution = "debian"} + ["bzip2-dev"] {os-distribution = "alpine"} + ["bzip2"] {os-distribution = "arch"} + ["bzip2-devel"] {os-distribution = "centos"} + ["bzip2-devel"] {os-distribution = "fedora"} + ["bzip2"] {os-distribution = "freebsd"} + ["bzip2"] {os-distribution = "openbsd"} + ["libbz2-dev"] {os-distribution = "opensuse"} + ["libbz2-dev"] {os-distribution = "ubuntu"} + + # 3.4.1 + ["eigen@3"] {os = "macos" & os-distribution = "homebrew"} + ["libeigen3-dev"] {os-distribution = "debian"} + ["eigen-dev"] {os-distribution = "alpine"} + ["eigen3"] {os-distribution = "arch"} + ["eigen3"] {os-distribution = "centos"} + ["eigen3-devel"] {os-distribution = "fedora"} + ["eigen"] {os-distribution = "freebsd"} + ["eigen3"] {os-distribution = "openbsd"} + ["eigen3"] {os-distribution = "opensuse"} + ["libeigen3-dev"] {os-distribution = "ubuntu"} + + # needed to compile abseil (linux/futex.h) + ["linux-headers"] {os-distribution = "alpine"} + +## brittle +## debian, alpine, arch: build with OCaml ortools_solvers package + + # abseil 20260107.0 + ["abseil"] {os = "macos" & os-distribution = "homebrew"} + + # protobuf 33.4 + ["protobuf"] {os = "macos" & os-distribution = "homebrew"} + + # protobuf-c 1.5.2 + ["protobuf-c"] {os = "macos" & os-distribution = "homebrew"} + + # re2 2025-11-05 + ["re2"] {os = "macos" & os-distribution = "homebrew"} + +] + +x-ci-accept-failures: [ + "debian-12" # c++ compilation fails + "opensuse-15.6" # cannot compile with cmake + "opensuse-16.0" # incorrect paths in /usr/lib64/cmake/ZLIB/* files + "opensuse-tumbleweed" # incorrect paths in /usr/lib64/cmake/ZLIB/* files + "ubuntu-22.04" # cmake is too old + "ubuntu-24.04" # c++ compilation fails + "cygwin" + "msys2" +] + +post-messages: [ + """Failed to install ortools_solvers. +Ensure the required dependencies are properly installed. +See https://github.com/inria/ocaml-ortools. +""" + {failure} +] +url { + src: + "https://github.com/INRIA/ocaml-ortools/releases/download/9.15.0/ortools-9.15.0.tbz" + checksum: [ + "sha256=2686dc86106bd65cf9b4d031b4d3cc1308a91df7e0cabd41bdd0b1482a0d6776" + "sha512=712e86fd7be0a059027892f06d42a909bd4df178ef9c73d69ef3835de3a30edd1356804efb0c580872f82d0fa84e08da355bbbb59fbc5f3b46b9e5f02e8a0672" + ] +} +x-commit-hash: "34e08c0eecf5eff0f04855c8abf5051f8bd1a472" + From c9925998eee4ea229efaa4238dda1ac86c62812e Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Fri, 13 Feb 2026 22:27:12 +0100 Subject: [PATCH 02/10] centos-9 c++ compilation fails --- packages/ortools_solvers/ortools_solvers.9.15.0/opam | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam index 60c28461a45c..bd43eea2fb4b 100644 --- a/packages/ortools_solvers/ortools_solvers.9.15.0/opam +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -112,6 +112,7 @@ x-ci-accept-failures: [ "opensuse-tumbleweed" # incorrect paths in /usr/lib64/cmake/ZLIB/* files "ubuntu-22.04" # cmake is too old "ubuntu-24.04" # c++ compilation fails + "centos-9" # c++ compilation fails "cygwin" "msys2" ] From 7ab09ac27ba422acf87d44153481c692bfcc1e2f Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sat, 14 Feb 2026 10:54:18 +0100 Subject: [PATCH 03/10] mark s390x as failing --- packages/ortools_solvers/ortools_solvers.9.15.0/opam | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam index bd43eea2fb4b..9c411474a52c 100644 --- a/packages/ortools_solvers/ortools_solvers.9.15.0/opam +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -113,6 +113,7 @@ x-ci-accept-failures: [ "ubuntu-22.04" # cmake is too old "ubuntu-24.04" # c++ compilation fails "centos-9" # c++ compilation fails + "s390x" # c++ compilation fails "cygwin" "msys2" ] From 1028f206c9b314a1500e4e67aef11d1f265d6f78 Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sat, 14 Feb 2026 11:11:55 +0100 Subject: [PATCH 04/10] one last try for opensuse --- .../ortools_solvers/ortools_solvers.9.15.0/opam | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam index 9c411474a52c..ab915961a756 100644 --- a/packages/ortools_solvers/ortools_solvers.9.15.0/opam +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -58,7 +58,10 @@ depexts: [ ["zlib-ng-compat-devel" "zlib-ng-compat-static"] {os-distribution = "fedora"} ["libzip"] {os-distribution = "freebsd"} - ["libz1"] {os-distribution = "opensuse"} + ["zlib-devel" "zlib-static"] + {os-distribution = "suse"} + ["zlib-devel" "zlib-static"] + {os-distribution = "opensuse"} ["zlib1g-dev"] {os-distribution = "ubuntu"} # 1.0.8 @@ -70,7 +73,8 @@ depexts: [ ["bzip2-devel"] {os-distribution = "fedora"} ["bzip2"] {os-distribution = "freebsd"} ["bzip2"] {os-distribution = "openbsd"} - ["libbz2-dev"] {os-distribution = "opensuse"} + ["libbz2-devel"] {os-distribution = "suse"} + ["libbz2-devel"] {os-distribution = "opensuse"} ["libbz2-dev"] {os-distribution = "ubuntu"} # 3.4.1 @@ -82,7 +86,8 @@ depexts: [ ["eigen3-devel"] {os-distribution = "fedora"} ["eigen"] {os-distribution = "freebsd"} ["eigen3"] {os-distribution = "openbsd"} - ["eigen3"] {os-distribution = "opensuse"} + ["eigen3-devel"] {os-distribution = "suse"} + ["eigen3-devel"] {os-distribution = "opensuse"} ["libeigen3-dev"] {os-distribution = "ubuntu"} # needed to compile abseil (linux/futex.h) @@ -107,12 +112,9 @@ depexts: [ x-ci-accept-failures: [ "debian-12" # c++ compilation fails - "opensuse-15.6" # cannot compile with cmake - "opensuse-16.0" # incorrect paths in /usr/lib64/cmake/ZLIB/* files - "opensuse-tumbleweed" # incorrect paths in /usr/lib64/cmake/ZLIB/* files "ubuntu-22.04" # cmake is too old "ubuntu-24.04" # c++ compilation fails - "centos-9" # c++ compilation fails + "centos-9" # c++ compilation fails "s390x" # c++ compilation fails "cygwin" "msys2" From f3ff8e37587a65faef0a67cfe23a1713792f6d14 Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sat, 14 Feb 2026 15:54:48 +0100 Subject: [PATCH 05/10] os-family for suse --- packages/ortools_solvers/ortools_solvers.9.15.0/opam | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam index ab915961a756..f9b6934438e0 100644 --- a/packages/ortools_solvers/ortools_solvers.9.15.0/opam +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -58,10 +58,8 @@ depexts: [ ["zlib-ng-compat-devel" "zlib-ng-compat-static"] {os-distribution = "fedora"} ["libzip"] {os-distribution = "freebsd"} - ["zlib-devel" "zlib-static"] - {os-distribution = "suse"} - ["zlib-devel" "zlib-static"] - {os-distribution = "opensuse"} + ["zlib-devel"] {os-family = "suse"} + ["zlib"] {os-family = "opensuse"} ["zlib1g-dev"] {os-distribution = "ubuntu"} # 1.0.8 @@ -73,8 +71,8 @@ depexts: [ ["bzip2-devel"] {os-distribution = "fedora"} ["bzip2"] {os-distribution = "freebsd"} ["bzip2"] {os-distribution = "openbsd"} - ["libbz2-devel"] {os-distribution = "suse"} - ["libbz2-devel"] {os-distribution = "opensuse"} + ["libbz2-devel"] {os-family = "suse"} + ["libbz2"] {os-family = "opensuse"} ["libbz2-dev"] {os-distribution = "ubuntu"} # 3.4.1 From 6d281cde13857fb719794267db598cee2c9830ee Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sat, 14 Feb 2026 16:02:20 +0100 Subject: [PATCH 06/10] enough with opensuse! --- .../ortools_solvers.9.15.0/opam | 21 +++++++++++-------- 1 file changed, 12 insertions(+), 9 deletions(-) diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam index f9b6934438e0..100e4d64b4ca 100644 --- a/packages/ortools_solvers/ortools_solvers.9.15.0/opam +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -59,7 +59,7 @@ depexts: [ {os-distribution = "fedora"} ["libzip"] {os-distribution = "freebsd"} ["zlib-devel"] {os-family = "suse"} - ["zlib"] {os-family = "opensuse"} + ["zlib-devel"] {os-family = "opensuse"} ["zlib1g-dev"] {os-distribution = "ubuntu"} # 1.0.8 @@ -72,7 +72,7 @@ depexts: [ ["bzip2"] {os-distribution = "freebsd"} ["bzip2"] {os-distribution = "openbsd"} ["libbz2-devel"] {os-family = "suse"} - ["libbz2"] {os-family = "opensuse"} + ["libbz2-devel"] {os-family = "opensuse"} ["libbz2-dev"] {os-distribution = "ubuntu"} # 3.4.1 @@ -84,27 +84,27 @@ depexts: [ ["eigen3-devel"] {os-distribution = "fedora"} ["eigen"] {os-distribution = "freebsd"} ["eigen3"] {os-distribution = "openbsd"} - ["eigen3-devel"] {os-distribution = "suse"} - ["eigen3-devel"] {os-distribution = "opensuse"} + ["eigen3-devel"] {os-family = "suse"} + ["eigen3-devel"] {os-family = "opensuse"} ["libeigen3-dev"] {os-distribution = "ubuntu"} # needed to compile abseil (linux/futex.h) - ["linux-headers"] {os-distribution = "alpine"} + ["linux-headers"] {os-distribution = "alpine"} ## brittle ## debian, alpine, arch: build with OCaml ortools_solvers package # abseil 20260107.0 - ["abseil"] {os = "macos" & os-distribution = "homebrew"} + ["abseil"] {os = "macos" & os-distribution = "homebrew"} # protobuf 33.4 - ["protobuf"] {os = "macos" & os-distribution = "homebrew"} + ["protobuf"] {os = "macos" & os-distribution = "homebrew"} # protobuf-c 1.5.2 - ["protobuf-c"] {os = "macos" & os-distribution = "homebrew"} + ["protobuf-c"] {os = "macos" & os-distribution = "homebrew"} # re2 2025-11-05 - ["re2"] {os = "macos" & os-distribution = "homebrew"} + ["re2"] {os = "macos" & os-distribution = "homebrew"} ] @@ -114,6 +114,9 @@ x-ci-accept-failures: [ "ubuntu-24.04" # c++ compilation fails "centos-9" # c++ compilation fails "s390x" # c++ compilation fails + "opensuse-15.6" # cannot compile with cmake + "opensuse-16.0" # zlib-devel conflicts with zlib-ng-compat-devel + "opensuse-tumbleweed" # zlib-devel conflicts with zlib-ng-compat-devel "cygwin" "msys2" ] From 3d2d59fe47094a28a020b90abd1a60070123b374 Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sat, 14 Feb 2026 18:55:03 +0100 Subject: [PATCH 07/10] for suse, one day --- packages/ortools_solvers/ortools_solvers.9.15.0/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam index 100e4d64b4ca..13c8770e6e03 100644 --- a/packages/ortools_solvers/ortools_solvers.9.15.0/opam +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -58,8 +58,8 @@ depexts: [ ["zlib-ng-compat-devel" "zlib-ng-compat-static"] {os-distribution = "fedora"} ["libzip"] {os-distribution = "freebsd"} - ["zlib-devel"] {os-family = "suse"} - ["zlib-devel"] {os-family = "opensuse"} + ["zlib-ng-compat-devel"] {os-family = "suse"} + ["zlib-ng-compat-devel"] {os-family = "opensuse"} ["zlib1g-dev"] {os-distribution = "ubuntu"} # 1.0.8 From d8ad805286d50c9e1648a210b82bfaf48b9ae225 Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sun, 15 Feb 2026 13:50:04 +0100 Subject: [PATCH 08/10] try to support cygwin and msys2 --- packages/ortools_solvers/ortools_solvers.9.15.0/opam | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam index 13c8770e6e03..2fbc8c85c22e 100644 --- a/packages/ortools_solvers/ortools_solvers.9.15.0/opam +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -61,6 +61,8 @@ depexts: [ ["zlib-ng-compat-devel"] {os-family = "suse"} ["zlib-ng-compat-devel"] {os-family = "opensuse"} ["zlib1g-dev"] {os-distribution = "ubuntu"} + ["zlib-devel"] {os = "win32" & os-distribution = "cygwin"} + ["zlib"] {os = "win32" & os-distribution = "msys2" } # 1.0.8 ["bzip2"] {os = "macos" & os-distribution = "homebrew"} @@ -74,6 +76,8 @@ depexts: [ ["libbz2-devel"] {os-family = "suse"} ["libbz2-devel"] {os-family = "opensuse"} ["libbz2-dev"] {os-distribution = "ubuntu"} + ["bzip2"] {os = "win32" & os-distribution = "cygwin"} + ["bzip2"] {os = "win32" & os-distribution = "msys2" } # 3.4.1 ["eigen@3"] {os = "macos" & os-distribution = "homebrew"} @@ -87,6 +91,8 @@ depexts: [ ["eigen3-devel"] {os-family = "suse"} ["eigen3-devel"] {os-family = "opensuse"} ["libeigen3-dev"] {os-distribution = "ubuntu"} + ["eigen3"] {os = "win32" & os-distribution = "cygwin"} + ["mingw-w64-eigen3"] {os = "win32" & os-distribution = "msys2" } # needed to compile abseil (linux/futex.h) ["linux-headers"] {os-distribution = "alpine"} @@ -116,9 +122,9 @@ x-ci-accept-failures: [ "s390x" # c++ compilation fails "opensuse-15.6" # cannot compile with cmake "opensuse-16.0" # zlib-devel conflicts with zlib-ng-compat-devel + # and the zlib-ng-compat-devel cmake files are wrong "opensuse-tumbleweed" # zlib-devel conflicts with zlib-ng-compat-devel - "cygwin" - "msys2" + # and the zlib-ng-compat-devel cmake files are wrong ] post-messages: [ From 6ef33118d7f69428eb8003c930bd580f140adbda Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sun, 15 Feb 2026 15:57:42 +0100 Subject: [PATCH 09/10] no package: mingw-w64-eigen3 --- packages/ortools_solvers/ortools_solvers.9.15.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam index 2fbc8c85c22e..763e5d566cf1 100644 --- a/packages/ortools_solvers/ortools_solvers.9.15.0/opam +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -92,7 +92,7 @@ depexts: [ ["eigen3-devel"] {os-family = "opensuse"} ["libeigen3-dev"] {os-distribution = "ubuntu"} ["eigen3"] {os = "win32" & os-distribution = "cygwin"} - ["mingw-w64-eigen3"] {os = "win32" & os-distribution = "msys2" } + ["eigen3"] {os = "win32" & os-distribution = "msys2" } # needed to compile abseil (linux/futex.h) ["linux-headers"] {os-distribution = "alpine"} From af64dbd2ae4a58b25df168d67b6c36272967ac5b Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Sun, 15 Feb 2026 17:00:46 +0100 Subject: [PATCH 10/10] use new conf-* depexts --- .../ortools_solvers.9.15.0/opam | 72 ++++--------------- 1 file changed, 12 insertions(+), 60 deletions(-) diff --git a/packages/ortools_solvers/ortools_solvers.9.15.0/opam b/packages/ortools_solvers/ortools_solvers.9.15.0/opam index 763e5d566cf1..f0097e4aa744 100644 --- a/packages/ortools_solvers/ortools_solvers.9.15.0/opam +++ b/packages/ortools_solvers/ortools_solvers.9.15.0/opam @@ -19,13 +19,16 @@ dev-repo: "git+https://github.com/inria/ocaml-ortools.git" x-maintenance-intent: ["(latest)"] depends: [ - "ocaml" {>= "4.14.2"} - "dune" {>= "3.21"} - "ortools" {>= "9.15"} - "conf-cmake" {build} - "sexplib0" {build} - "csexp" {build} - "odoc" {with-doc} + "ocaml" {>= "4.14.2"} + "dune" {>= "3.21"} + "ortools" {>= "9.15"} + "conf-cmake" {build} + "conf-zlib" {build} + "conf-bzip2" {build} + "conf-eigen3" {build} + "sexplib0" {build} + "csexp" {build} + "odoc" {with-doc} ] build: [ @@ -44,65 +47,15 @@ build: [ ] depexts: [ -## solid - - #zlib 1.3.1 - ["zlib"] {os = "macos" & os-distribution = "homebrew"} - ["libz-dev"] {os-distribution = "debian"} - ["zlib-dev"] {os-distribution = "alpine"} - ["zlib"] {os-distribution = "arch"} - ["zlib-devel" "zlib-static"] - {os-distribution = "centos" & os-version = "9"} - ["zlib-ng-compat-devel" "zlib-ng-compat-static"] - {os-distribution = "centos" & os-version = "10"} - ["zlib-ng-compat-devel" "zlib-ng-compat-static"] - {os-distribution = "fedora"} - ["libzip"] {os-distribution = "freebsd"} - ["zlib-ng-compat-devel"] {os-family = "suse"} - ["zlib-ng-compat-devel"] {os-family = "opensuse"} - ["zlib1g-dev"] {os-distribution = "ubuntu"} - ["zlib-devel"] {os = "win32" & os-distribution = "cygwin"} - ["zlib"] {os = "win32" & os-distribution = "msys2" } - - # 1.0.8 - ["bzip2"] {os = "macos" & os-distribution = "homebrew"} - ["libbz2-dev"] {os-distribution = "debian"} - ["bzip2-dev"] {os-distribution = "alpine"} - ["bzip2"] {os-distribution = "arch"} - ["bzip2-devel"] {os-distribution = "centos"} - ["bzip2-devel"] {os-distribution = "fedora"} - ["bzip2"] {os-distribution = "freebsd"} - ["bzip2"] {os-distribution = "openbsd"} - ["libbz2-devel"] {os-family = "suse"} - ["libbz2-devel"] {os-family = "opensuse"} - ["libbz2-dev"] {os-distribution = "ubuntu"} - ["bzip2"] {os = "win32" & os-distribution = "cygwin"} - ["bzip2"] {os = "win32" & os-distribution = "msys2" } - - # 3.4.1 - ["eigen@3"] {os = "macos" & os-distribution = "homebrew"} - ["libeigen3-dev"] {os-distribution = "debian"} - ["eigen-dev"] {os-distribution = "alpine"} - ["eigen3"] {os-distribution = "arch"} - ["eigen3"] {os-distribution = "centos"} - ["eigen3-devel"] {os-distribution = "fedora"} - ["eigen"] {os-distribution = "freebsd"} - ["eigen3"] {os-distribution = "openbsd"} - ["eigen3-devel"] {os-family = "suse"} - ["eigen3-devel"] {os-family = "opensuse"} - ["libeigen3-dev"] {os-distribution = "ubuntu"} - ["eigen3"] {os = "win32" & os-distribution = "cygwin"} - ["eigen3"] {os = "win32" & os-distribution = "msys2" } + # debian, alpine, arch: build with OCaml ortools_solvers package # needed to compile abseil (linux/futex.h) ["linux-headers"] {os-distribution = "alpine"} -## brittle -## debian, alpine, arch: build with OCaml ortools_solvers package - # abseil 20260107.0 ["abseil"] {os = "macos" & os-distribution = "homebrew"} + # protobuf 33.4 ["protobuf"] {os = "macos" & os-distribution = "homebrew"} @@ -111,7 +64,6 @@ depexts: [ # re2 2025-11-05 ["re2"] {os = "macos" & os-distribution = "homebrew"} - ] x-ci-accept-failures: [