pkgs/development/ocaml-modules/pgsolver/default.nix

   1 {
   2   lib,
   3   fetchFromGitHub,
   4   buildOasisPackage,
   5   ounit,
   6   tcslib,
   7   ocaml-sat-solvers,
   8 }:
   9
  10 buildOasisPackage rec {
  11   pname = "pgsolver";
  12   version = "4.1";
  13
  14   src = fetchFromGitHub {
  15     owner = "tcsprojects";
  16     repo = "pgsolver";
  17     rev = "v${version}";
  18     sha256 = "16skrn8qql9djpray25xv66rjgfl20js5wqnxyq1763nmyizyj8a";
  19   };
  20
  21   buildInputs = [ ounit ];
  22   propagatedBuildInputs = [
  23     tcslib
  24     ocaml-sat-solvers
  25   ];
  26
  27   meta = {
  28     description = "Collection of tools for generating, manipulating and - most of all - solving parity games";
  29     homepage = "https://github.com/tcsprojects/pgsolver";
  30     license = lib.licenses.bsd3;
  31     maintainers = with lib.maintainers; [ mgttlinger ];
  32     mainProgram = "pgsolver-bin";
  33   };
  34 }