Merge pull request #130971 from siraben/parallel-coq
coq: enable parallel building
commita5049e8caa06200e15818978dc1f319ee9210b88
authorBen Siraphob <bensiraphob@gmail.com>
dateThu 22 Jul 2021, 10:00 (5 years ago)
parentb06804f7c1d4d8
pkgs/applications/science/logic/coq/default.nix+1
@@ -162,6 +162,7 @@ self = stdenv.mkDerivation {
162162 prefixKey = "-prefix ";
163163
164164 buildFlags = [ "revision" "coq" "coqide" "bin/votour" ];
165+ enableParallelBuilding = true;
165166
166167 createFindlibDestdir = true;
167168