Unverified Commit a5049e8c authored by Ben Siraphob's avatar Ben Siraphob Committed by GitHub
Browse files

Merge pull request #130971 from siraben/parallel-coq 

coq: enable parallel building
parents b06804fa 7c1d4d82

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

+1 −0
Original line number Diff line number Diff line
@@ -162,6 +162,7 @@ self = stdenv.mkDerivation { 
  prefixKey = "-prefix ";



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

  enableParallelBuilding = true;



  createFindlibDestdir = true;