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 /default.nix | |
| parent | 6c864c975f644e5e4d8ed6da32e8f6b8971f1a33 (diff) | |
| download | vericert-kvx-30ed10e388ad2f3cd1812c9770cfc09913b80c50.tar.gz vericert-kvx-30ed10e388ad2f3cd1812c9770cfc09913b80c50.zip | |
Add gcc to build dependencies
Diffstat (limited to 'default.nix')
| -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; } |