lispPackages_new.*.cl-sat.minisat: add runtime dependency

2022-11-24 20:10:41 +01:00
parent 54d0ae7354
commit 084857b8c6
1 changed files with 3 additions and 0 deletions
@@ -198,6 +198,9 @@ let
      patches = [ ./patches/cl-sat.glucose-binary-from-PATH-if-present.patch ];

    };
+    "cl-sat.minisat" = pkg: {
+      propagatedBuildInputs = [ pkgs.minisat ];
+    };
  };

  qlpkgs =