nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 16:10:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

agdaPackages: enable parallel builds on supported versions

Browse Source 
Both Mikan and the upcoming Agda 2.9.0 release support parallel builds with `-j`.
This commit is contained in:
Naïm Camille Favier
2026-01-28 22:05:32 +01:00
parent 9640786e25
commit 4ef4be0cd1
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/build-support/agda/default.nix
View File

@@ -31,6 +31,7 @@ let
;
isMikan = Agda.meta.mainProgram == "mikan";
supportsParallel = isMikan || lib.versionAtLeast Agda.version "2.9.0";
mkLibraryFile =
pkgs:
@@ -147,7 +148,7 @@ let
else
''
runHook preBuild
${lib.getExe agdaWithPkgs} --build-library
${lib.getExe agdaWithPkgs} --build-library${optionalString supportsParallel " -j$NIX_BUILD_CORES"}
runHook postBuild
'';