klee: Fix build

NixOS · Jul 18, 2024 · 07a19f7 · 07a19f7
1 parent 1be120c
commit 07a19f7
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/pkgs/applications/science/logic/klee/default.nix b/pkgs/applications/science/logic/klee/default.nix
@@ -85,8 +85,7 @@ llvmPackages.stdenv.mkDerivation rec {
     # Should appear BEFORE lit, since lit passes through python rather
     # than the python environment we make.
     kleePython
-    (lit.override { python = kleePython; })
-  ];
+  ] ++ python3.pkgs.requiredPythonModules python3.pkgs.lit;
 
   cmakeBuildType = if debug then "Debug" else if !debug && includeDebugInfo then "RelWithDebInfo" else "MinSizeRel";