diff options
| -rw-r--r-- | default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
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; } |