1 files changed, 2 insertions, 0 deletions
diff --git a/default.nix b/default.nix
index 8b2a5ea..faa1d0c 100644
--- a/default.nix
+++ b/default.nix
@@ -30,4 +30,6 @@ stdenv.mkDerivation {
 
   buildInputs = [ ncoq ocamlPackages.menhir dune
                   ocaml ocamlPackages.findlib bbv ];
+
+  enableParallelBuilding = true;
 }