diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:38:26 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:38:26 +0100 |
| commit | 0d5113c826bde8002d40dd896c97afb86a0b66f0 (patch) | |
| tree | 31e116edebfc299db1f3a7142b154988b2f96610 /shell.nix | |
| parent | 536f154b75a0bb5a9d24a66257e9dddd18ea39e8 (diff) | |
| download | vericert-kvx-0d5113c826bde8002d40dd896c97afb86a0b66f0.tar.gz vericert-kvx-0d5113c826bde8002d40dd896c97afb86a0b66f0.zip | |
Update nix files with bbv dependency
Diffstat (limited to 'shell.nix')
| -rw-r--r-- | shell.nix | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -1,7 +1,5 @@ with import <nixpkgs> {}; + mkShell { - buildInputs = [ - coq_8_10 ocamlPackages.menhir dune ocaml - ocamlPackages.findlib - ]; + buildInputs = (import ./.).buildInputs; } |