tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 buildDunePackage,
4 cudf,
5 dose3,
6 mccs,
7 opam,
8 opam-0install-cudf,
9 opam-format,
10 re,
11 z3,
12}:
13
14buildDunePackage {
15 pname = "opam-solver";
16
17 inherit (opam) src version;
18
19 configureFlags = [ "--disable-checks" ];
20
21 propagatedBuildInputs = [
22 cudf
23 dose3
24 mccs
25 opam-0install-cudf
26 opam-format
27 re
28 z3
29 ];
30
31 meta = opam.meta // {
32 description = "This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam";
33 maintainers = with lib.maintainers; [ stepbrobd ];
34 };
35}