diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-02 21:42:45 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-02 21:42:45 +0100 |
commit | 30ed10e388ad2f3cd1812c9770cfc09913b80c50 (patch) | |
tree | 65d238e8c06a33b3b085e450d0b495316fa751c2 | |
parent | 6c864c975f644e5e4d8ed6da32e8f6b8971f1a33 (diff) | |
download | vericert-30ed10e388ad2f3cd1812c9770cfc09913b80c50.tar.gz vericert-30ed10e388ad2f3cd1812c9770cfc09913b80c50.zip |
Add gcc to build dependencies
-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; } |