Limit cabal-v1 threads to 64

256 threads cause "too many open files errors"
CTSRD-CHERI · Jan 30, 2024 · dfe0325 · dfe0325
1 parent 48b9276
commit dfe0325
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -39,7 +39,7 @@ vengines: QCVEngine
 QCVEngine: Makefile
 	cd vengines/QuickCheckVEngine &&\
 	if cabal --help 2>&1 | grep v1-build > /dev/null; then \
-	  (cabal v1-install --only-dependencies && cabal v1-configure && cabal v1-build); \
+	  (cabal v1-install --only-dependencies && cabal v1-configure && cabal -j$$(( `nproc` < 64 ? `nproc` : 64 )) v1-build); \
 	else \
 	  (cabal install --only-dependencies && cabal configure && cabal build); \
 	fi