Skip to content

Commit

Permalink
Fix issue with parser.ml and mli not being generated
Browse files Browse the repository at this point in the history
By downgrading menhir
Possibly related to ellisk42/ec#96
  • Loading branch information
Daniel Britten committed Nov 10, 2022
1 parent ebd80ea commit c9836d1
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion dependencies.nix
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,13 @@ let pkgs = import (
sha256 = "111x41crq2kyx62a5mrqfk3f0r3m4i4p6dmj4jbpfjn5cdsgbxsr";
}) {}; in

let pkgsOldForMenhir = import (
builtins.fetchTarball {
name = "nixpkgs-21.05-pinned";
url = "https://github.com/nixos/nixpkgs/archive/b199038e38f8b97239d1e80dc373fa9b0fd3194d.tar.gz";
sha256 = "00iiypj3l8gc295syv00m1f21n8m1hw9rvgxjwjnpdnr1nnwjq5d";
}) {}; in

{
other = (with pkgs; [
gnumake
Expand All @@ -27,7 +34,7 @@ let pkgs = import (
ocaml-ng.ocamlPackages_4_09.cppo
ocaml-ng.ocamlPackages_4_09.ocaml_extlib
ocaml-ng.ocamlPackages_4_09.yojson
ocaml-ng.ocamlPackages_4_09.menhir
pkgsOldForMenhir.ocaml-ng.ocamlPackages_4_09.menhir
ocaml-ng.ocamlPackages_4_09.zarith
]);
documentation = (with pkgs;
Expand Down

0 comments on commit c9836d1

Please sign in to comment.