diff options
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 9f9bba933a17..62b773c51bf6 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1024,11 +1024,15 @@ let omake_rc1 = callPackage ../development/tools/ocaml/omake/0.9.8.6-rc1.nix { }; - verasco = callPackage ../development/tools/analysis/verasco ( + verasco = callPackage ../development/tools/analysis/verasco (( if system == "x86_64-linux" then { tools = pkgs.pkgsi686Linux.stdenv.cc; } else {} - ); + ) // { + menhir = callPackage ../development/ocaml-modules/menhir { + version = "20170712"; + }; + }); google-drive-ocamlfuse = callPackage ../applications/networking/google-drive-ocamlfuse { }; |