ocamlPackages.opam-solver: init at 2.4.1

This commit is contained in:
Yifei Sun
2025-10-14 09:02:38 +02:00
parent 25efcfc906
commit 952d41bfde
2 changed files with 37 additions and 0 deletions

View File

@@ -0,0 +1,35 @@
{
lib,
buildDunePackage,
cudf,
dose3,
mccs,
opam,
opam-0install-cudf,
opam-format,
re,
z3,
}:
buildDunePackage {
pname = "opam-solver";
inherit (opam) src version;
configureFlags = [ "--disable-checks" ];
propagatedBuildInputs = [
cudf
dose3
mccs
opam-0install-cudf
opam-format
re
z3
];
meta = opam.meta // {
description = "This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam";
maintainers = with lib.maintainers; [ stepbrobd ];
};
}

View File

@@ -1586,6 +1586,8 @@ let
opam-repository = callPackage ../development/ocaml-modules/opam-repository { };
opam-solver = callPackage ../development/ocaml-modules/opam-solver { };
opam-state = callPackage ../development/ocaml-modules/opam-state { };
opium = callPackage ../development/ocaml-modules/opium { };