diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 19:50:29 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 19:50:29 +0000 |
| commit | a2aafb7de592a60a86add13e184396e07b75ab07 (patch) | |
| tree | 58c30cb6aeb12ae90933a488b39f3e67fc9fca84 /default.nix | |
| parent | a2c2bb945cf4e848225692f23aa337feae9747d2 (diff) | |
| download | vericert-a2aafb7de592a60a86add13e184396e07b75ab07.tar.gz vericert-a2aafb7de592a60a86add13e184396e07b75ab07.zip | |
Add Extraction
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 4e1cfbb..1a1d32b 100644 --- a/default.nix +++ b/default.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation { name = "CoqUp"; src = ./.; - buildInputs = [ coq_8_10 ]; + buildInputs = [ coq_8_10 ocamlPackages.menhir dune ]; buildPhase = "make"; } |