coq: enable parallel building

3 years ago · 7c1d4d8255
parent 5972cc3119
commit 7c1d4d8255
1 changed files with 1 additions and 0 deletions
--- a/pkgs/applications/science/logic/coq/default.nix
+++ b/pkgs/applications/science/logic/coq/default.nix
@ -162,6 +162,7 @@ self = stdenv.mkDerivation {
  prefixKey = "-prefix ";

  buildFlags = [ "revision" "coq" "coqide" "bin/votour" ];
+  enableParallelBuilding = true;

  createFindlibDestdir = true;