Yifei Sun
36 lines
562 B
Nix
36 lines
562 B
Nix
{
|
|
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 ];
|
|
};
|
|
}
|