diff options
Diffstat (limited to 'pkgs/development/lisp-modules-new/ql.nix')
| -rw-r--r-- | pkgs/development/lisp-modules-new/ql.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/lisp-modules-new/ql.nix b/pkgs/development/lisp-modules-new/ql.nix index 683811bcd31f6..88dfbddf2654f 100644 --- a/pkgs/development/lisp-modules-new/ql.nix +++ b/pkgs/development/lisp-modules-new/ql.nix @@ -198,6 +198,9 @@ let patches = [ ./patches/cl-sat.glucose-binary-from-PATH-if-present.patch ]; }; + "cl-sat.minisat" = pkg: { + propagatedBuildInputs = [ pkgs.minisat ]; + }; }; qlpkgs = |