summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2021-11-05 21:54:48 +0100
committerVincent Laporte <vbgl@users.noreply.github.com>2021-11-13 13:16:42 +0100
commit551c849344b90f605ad61e193337582e16116fdb (patch)
treef40fdce08e06a5a352a2a0b5bfe6941c34d0d009
parentfca6647ac7c9eacc062df9852ead08bcad2f2007 (diff)
ocamlPackages.elpi: use recent version of ppxlib
-rw-r--r--pkgs/development/ocaml-modules/elpi/default.nix10
-rw-r--r--pkgs/top-level/ocaml-packages.nix4
2 files changed, 10 insertions, 4 deletions
diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix
index f04c3b1fe253..4412f568508c 100644
--- a/pkgs/development/ocaml-modules/elpi/default.nix
+++ b/pkgs/development/ocaml-modules/elpi/default.nix
@@ -1,5 +1,7 @@
{ stdenv, lib, fetchzip, buildDunePackage, camlp5
-, ppxlib, ppx_deriving, re, perl, ncurses
+, re, perl, ncurses
+, ppxlib, ppx_deriving
+, ppxlib_0_15, ppx_deriving_0_15
, version ? "1.13.7"
}:
with lib;
@@ -23,7 +25,11 @@ buildDunePackage rec {
buildInputs = [ perl ncurses ];
- propagatedBuildInputs = [ camlp5 ppxlib ppx_deriving re ];
+ propagatedBuildInputs = [ camlp5 re ]
+ ++ (if lib.versionAtLeast version "1.13"
+ then [ ppxlib ppx_deriving ]
+ else [ ppxlib_0_15 ppx_deriving_0_15 ]
+ );
meta = {
description = "Embeddable λProlog Interpreter";
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 8a4408260042..74691f1df2d2 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -344,8 +344,8 @@ let
then ppxlib.override { version = "0.15.0"; }
else ppxlib; in
{
- ppx_deriving = ppx_deriving.override { ppxlib = ppxlib_0_15; };
- ppxlib = ppxlib_0_15;
+ ppx_deriving_0_15 = ppx_deriving.override { ppxlib = ppxlib_0_15; };
+ inherit ppxlib_0_15;
}
);