From d0ca6d46d3de989c4e9c3cd9b6678d18777ec263 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 8 Mar 2023 00:46:24 +0100
Subject: Make a minor modification to flake.nix

---
 flake.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.nix b/flake.nix
index bf0c19d7..8fb20372 100644
--- a/flake.nix
+++ b/flake.nix
@@ -84,7 +84,7 @@
             export AENEAS_EXE=./aeneas.exe
 
             # Run the tests
-            make tests -j
+            make tests -j $NIX_BUILD_CORES
           '';
           # Tests don't generate anything new as the generated files are
           # versionned, but the installation phase still needs to prodocue
@@ -98,7 +98,7 @@
           FSTAR_EXE = "${hacl-nix.packages.${system}.fstar}/bin/fstar.exe";
           buildPhase= ''
             make prepare-projects
-            make verify -j
+            make verify -j $NIX_BUILD_CORES
           '';
           # The tests don't generate anything
           installPhase = "touch $out";
@@ -110,7 +110,7 @@
           buildInputs = [ pkgs.coq ];
           buildPhase= ''
             make prepare-projects
-            make verify -j
+            make verify -j $NIX_BUILD_CORES
           '';
           # The tests don't generate anything
           installPhase = "touch $out";
-- 
cgit v1.2.3