commit cbdd20878ead3d3d9c4b169f8123e637e426339d · pyrox.dev/nixpkgs

pyrox.dev / nixpkgs

lol

fork atom

cvc4: build in parallel

Will Dietz 8 years ago cbdd2087 12e60c23

1 changed file

expand all

unified split

pkgs

applications

science

logic

cvc4

default.nix

pkgs/applications/science/logic/cvc4/default.nix

··· 31 31 patchShebangs ./src/ 32 32 ''; 33 33 34 + enableParallelBuilding = true; 35 + 34 36 meta = with stdenv.lib; { 35 37 description = "A high-performance theorem prover and SMT solver"; 36 38 homepage = http://cvc4.cs.nyu.edu/web/;