diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-14 15:46:54 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-14 15:46:54 +0000 |
| commit | 9b0bc37b1943a7d8c00ba74a7a943a303fb965d6 (patch) | |
| tree | 4cfeb140200d2f2ee6ea93f0ef95fe00f643b118 /default.nix | |
| parent | dbf7dc1e44056bef6f36c3c27705e8d2d93575a2 (diff) | |
| download | vericert-kvx-9b0bc37b1943a7d8c00ba74a7a943a303fb965d6.tar.gz vericert-kvx-9b0bc37b1943a7d8c00ba74a7a943a303fb965d6.zip | |
Add nix dependencies
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 1a1d32b..d0bb746 100644 --- a/default.nix +++ b/default.nix @@ -4,7 +4,8 @@ stdenv.mkDerivation { name = "CoqUp"; src = ./.; - buildInputs = [ coq_8_10 ocamlPackages.menhir dune ]; + buildInputs = [ coq_8_10 ocamlPackages.menhir dune + ocaml ocamlPackages.findlib ]; buildPhase = "make"; } |