From 7353d8396d339d5e44759a0d647f0dd77ef055c0 Mon Sep 17 00:00:00 2001
From: Will Dietz <w@wdtz.org>
Date: Thu, 5 Jul 2018 10:13:40 -0500
Subject: [PATCH] vampire: enable parallel building

---
 pkgs/applications/science/logic/vampire/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix
index 4f2154d2112..e05839b2a14 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
   '';