From bb2ed81fe9cbfd211f0a1de3dc23d604b61a97c6 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 7 Oct 2019 20:35:45 +0200
Subject: [PATCH] Build NOVA in parallel

The current hydra build time is in excess of ten seconds, this is
unacceptable.
---
 NOVA/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/NOVA/default.nix b/NOVA/default.nix
index 8026237..c4c9bd6 100644
--- a/NOVA/default.nix
+++ b/NOVA/default.nix
@@ -23,6 +23,8 @@ buildPackages.stdenv.mkDerivation {
     sha256 = "0rkp59496032kq8a3l5fs771m5f7s5yywkxjk7j9qhmsidgk40wd";
   };
 
+  enableParallelBuilding = true;
+
   makeFlags = [ "--directory=build" ];
 
   preInstall = "export INS_DIR=$out";