guix_mirror_bot pushed a commit to branch ocaml-team
in repository guix.
commit 49de556a71d1455f62e73617c8821fae0c27f840
Author: Jason Conroy <[email protected]>
AuthorDate: Wed Feb 4 10:20:41 2026 -0500
gnu: ocaml5: Add ocaml-opam-0install-cudf.
* gnu/packages/ocaml5.scm (ocaml-opam-0install-cudf): New variable.
Change-Id: I2899f08396f2679b607da6c94298af67df39c880
Signed-off-by: Julien Lepiller <[email protected]>
---
gnu/packages/ocaml5.scm | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)
diff --git a/gnu/packages/ocaml5.scm b/gnu/packages/ocaml5.scm
index 586f359265..c32176c03e 100644
--- a/gnu/packages/ocaml5.scm
+++ b/gnu/packages/ocaml5.scm
@@ -2298,6 +2298,36 @@ underlying solvers like Cplex, Gurobi, Lpsolver, Glpk,
CbC, SCIP or WBO.")
;; With static-linking exception
license:lgpl2.1+))))
+(define-public ocaml-opam-0install-cudf
+ (package
+ (name "ocaml5-opam-0install-cudf")
+ (version "0.5.0")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/ocaml-opam/opam-0install-cudf";)
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "12v1bgnxcxdylgxbsjlcr90rzwcp39rjlv191cy8g2s33nyxyi2c"))))
+
+ (build-system dune-build-system)
+ (propagated-inputs (list ocaml-cudf ocaml-0install-solver))
+ (native-inputs (list ocaml-alcotest))
+ (home-page "https://github.com/ocaml-opam/opam-0install-cudf";)
+ (synopsis "Opam solver using 0install backend using the CUDF interface")
+ (description
+ "Opam's default solver is designed to maintain a set of packages over
time,
+minimising disruption when installing new programs and finding a compromise
+solution across all packages. In many situations (e.g. CI, local roots or
+duniverse builds) this is not necessary, and we can get a solution much faster
+by using a different algorithm. This package provides a generic solver library
+which uses 0install's solver library. The library uses the CUDF library in
+order to interface with opam as it is the format common used to talk to all the
+supported solvers.")
+ (license license:isc)))
+
;;;
;;; Avoid adding new packages to the end of this file. To reduce the chances
;;; of a merge conflict, place them above by existing packages with similar
