From da1ddd186ef54917a2887edac947f4fc4363f5d7 Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Wed, 15 Dec 2021 02:31:19 +0100
Subject: [PATCH] default.nix: enable parallel build

---
 default.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index 7c3a728..59a8a5b 100644
--- a/default.nix
+++ b/default.nix
@@ -43,12 +43,14 @@ in
       })
     ];
 
+    buildInputs = lib.optional static pkgs.glibc.static;
+
     # fonts needed for the PDF manual
     FONTCONFIG_FILE = pkgs.makeFontsConf {
       fontDirectories = with pkgs; [ fira-mono libertinus ];
     };
 
-    buildInputs = lib.optional static pkgs.glibc.static;
+    enableParallelBuilding = true;
 
     hardeningDisable = [ "format" ];
     configureFlags = [