From 30ed10e388ad2f3cd1812c9770cfc09913b80c50 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 2 Apr 2020 21:42:45 +0100
Subject: Add gcc to build dependencies

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

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index faa1d0c..961bdec 100644
--- a/default.nix
+++ b/default.nix
@@ -29,7 +29,9 @@ stdenv.mkDerivation {
   src = ./.;
 
   buildInputs = [ ncoq ocamlPackages.menhir dune
-                  ocaml ocamlPackages.findlib bbv ];
+                  ocaml ocamlPackages.findlib bbv
+                  gcc
+                ];
 
   enableParallelBuilding = true;
 }
-- 
cgit