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

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