From 6c864c975f644e5e4d8ed6da32e8f6b8971f1a33 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 2 Apr 2020 21:21:37 +0100
Subject: Update compcert dependency

---
 default.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'default.nix')

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;
 }
-- 
cgit