diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix index 4f2154d2112e..e05839b2a143 100644 --- a/pkgs/applications/science/logic/vampire/default.nix +++ b/pkgs/applications/science/logic/vampire/default.nix @@ -39,6 +39,8 @@ stdenv.mkDerivation rec { }) ]; + enableParallelBuilding = true; + fixupPhase = '' rm -rf z3 '';