diff options
| -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"; } |