tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 fetchFromGitHub,
4 buildDunePackage,
5 extlib,
6 ocaml-sat-solvers,
7 tcs-lib,
8}:
9
10buildDunePackage (finalAttrs: {
11 pname = "pgsolver";
12 version = "4.4";
13
14 src = fetchFromGitHub {
15 owner = "tcsprojects";
16 repo = "pgsolver";
17 tag = "v${finalAttrs.version}";
18 hash = "sha256-VQWXvZXfGHCfzz46aARyFXO/xlJ/7s39HFIfisEamXw=";
19 };
20
21 # upstream missing `public_names` within `executables` stanza
22 # adding this back to automatically install binaries
23 patchPhase = ''
24 runHook prePatch
25 sed -i '/^ (names /{ p; s/names/public_names/ }' src/apps/pgsolver/dune
26 sed -i '/^ (names /{ p; s/names/public_names/ }' src/apps/tools/dune
27 runHook postPatch
28 '';
29
30 propagatedBuildInputs = [
31 extlib
32 ocaml-sat-solvers
33 tcs-lib
34 ];
35
36 meta = {
37 description = "Collection of tools for generating, manipulating and - most of all - solving parity games";
38 homepage = "https://github.com/tcsprojects/pgsolver";
39 license = lib.licenses.bsd3;
40 maintainers = with lib.maintainers; [ mgttlinger ];
41 mainProgram = "pgsolver";
42 };
43})