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

   1 { lib, fetchFromGitHub, buildDunePackage
   2 , iter
   3 , containers
   4 , mdx
   5 }:
   6
   7 buildDunePackage rec {
   8   pname = "msat";
   9   version = "0.9.1";
  10
  11   src = fetchFromGitHub {
  12     owner = "Gbury";
  13     repo = "mSAT";
  14     rev = "v${version}";
  15     hash = "sha256-ER7ZUejW+Zy3l2HIoFDYbR8iaKMvLZWaeWrOAAYXjG4=";
  16   };
  17
  18   propagatedBuildInputs = [
  19     iter
  20   ];
  21
  22   postPatch = ''
  23     substituteInPlace dune --replace mdx ocaml-mdx
  24   '';
  25
  26   doCheck = true;
  27   checkInputs = [ containers ];
  28   nativeCheckInputs = [ mdx.bin ];
  29
  30   meta = {
  31     description = "A modular sat/smt solver with proof output.";
  32     homepage = "https://gbury.github.io/mSAT/";
  33     license = lib.licenses.asl20;
  34     maintainers = [ lib.maintainers.vbgl ];
  35   };
  36 }