diff options
author | Mauricio Collares <mauricio@collares.org> | 2022-04-07 13:15:42 +0200 |
---|---|---|
committer | Mauricio Collares <mauricio@collares.org> | 2022-04-07 13:16:20 +0200 |
commit | a48bc3cc89cf6d30504ec9bffec68df1f366aaf2 (patch) | |
tree | 165333121cffb7679b23925eca391a0f6d370626 | |
parent | b6966d911da89e5a7301aaef8b4f0a44c77e103c (diff) |
flint: set enableParallelBuilding = true
-rw-r--r-- | pkgs/development/libraries/flint/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/libraries/flint/default.nix b/pkgs/development/libraries/flint/default.nix index 6873508eb7dcd..0c2a07149d206 100644 --- a/pkgs/development/libraries/flint/default.nix +++ b/pkgs/development/libraries/flint/default.nix @@ -42,6 +42,8 @@ stdenv.mkDerivation rec { "--with-blas=${openblas}" ]; + enableParallelBuilding = true; + doCheck = true; meta = with lib; { |