diff options
author | Maximilian Marx <mmarx@wh2.tu-dresden.de> | 2022-11-24 19:29:15 +0100 |
---|---|---|
committer | Maximilian Marx <mmarx@wh2.tu-dresden.de> | 2022-11-24 20:10:41 +0100 |
commit | 084857b8c62dd5de598c4f43c2e68fb045e32e13 (patch) | |
tree | 8120fb12285818de4b205e0f746771e09647f976 /pkgs/development/lisp-modules-new/ql.nix | |
parent | 54d0ae7354721213c1d73032f35a0cab51cd0de6 (diff) |
lispPackages_new.*.cl-sat.minisat: add runtime dependency
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 = |