diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/elpi/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/elpi/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index b9a81a6c9d9..428e4268232 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -31,6 +31,9 @@ buildDunePackage rec { pname = "elpi"; inherit (fetched) version src; + patches = lib.optional (versionAtLeast version "1.16" || version == "dev") + ./atd_2_10.patch; + minimalOCamlVersion = "4.04"; buildInputs = [ perl ncurses ] |