Permalink
Browse files

coqPackages.category-theory: bound build parallelism

  • Loading branch information...
vbgl committed Jan 9, 2019
1 parent 8ffae68 commit 10fa10731e7e19724bacfd2da71a40aa3afcd15f
Showing with 1 addition and 1 deletion.
  1. +1 −1 pkgs/development/coq-modules/category-theory/default.nix
@@ -33,7 +33,7 @@ stdenv.mkDerivation rec {
buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ ocaml camlp5 findlib ]);
propagatedBuildInputs = [ ssreflect equations ];

enableParallelBuilding = false;
buildFlags = [ "JOBS=$(NIX_BUILD_CORES)" ];

installPhase = ''
make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install

0 comments on commit 10fa107

Please sign in to comment.