From cbdd20878ead3d3d9c4b169f8123e637e426339d Mon Sep 17 00:00:00 2001 From: Will Dietz Date: Wed, 8 Nov 2017 12:16:16 -0600 Subject: [PATCH] cvc4: build in parallel --- pkgs/applications/science/logic/cvc4/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/applications/science/logic/cvc4/default.nix b/pkgs/applications/science/logic/cvc4/default.nix index 25effdcd403..403eff216f5 100644 --- a/pkgs/applications/science/logic/cvc4/default.nix +++ b/pkgs/applications/science/logic/cvc4/default.nix @@ -31,6 +31,8 @@ stdenv.mkDerivation rec { patchShebangs ./src/ ''; + enableParallelBuilding = true; + meta = with stdenv.lib; { description = "A high-performance theorem prover and SMT solver"; homepage = http://cvc4.cs.nyu.edu/web/;