diff options
| author | Will Dietz <w@wdtz.org> | 2017-11-08 12:16:16 -0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-02-13 09:44:45 -0600 |
| commit | cbdd20878ead3d3d9c4b169f8123e637e426339d (patch) | |
| tree | 1c54f39fdec2918676798feb675415daeb7dda9e /pkgs/applications/science/logic/cvc4 | |
| parent | 12e60c232a7691510dc8b13f069bd1c89e8eaaa7 (diff) | |
| download | nixlib-cbdd20878ead3d3d9c4b169f8123e637e426339d.tar nixlib-cbdd20878ead3d3d9c4b169f8123e637e426339d.tar.gz nixlib-cbdd20878ead3d3d9c4b169f8123e637e426339d.tar.bz2 nixlib-cbdd20878ead3d3d9c4b169f8123e637e426339d.tar.lz nixlib-cbdd20878ead3d3d9c4b169f8123e637e426339d.tar.xz nixlib-cbdd20878ead3d3d9c4b169f8123e637e426339d.tar.zst nixlib-cbdd20878ead3d3d9c4b169f8123e637e426339d.zip | |
cvc4: build in parallel
Diffstat (limited to 'pkgs/applications/science/logic/cvc4')
| -rw-r--r-- | pkgs/applications/science/logic/cvc4/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/cvc4/default.nix b/pkgs/applications/science/logic/cvc4/default.nix index 25effdcd4033..403eff216f53 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/; |