From ab4b23c35cc52f33d0f692bfda00e753df4c04c4 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 7 May 2019 09:31:57 +0000 Subject: [PATCH] ocamlPackages.elpi: 1.1.0 -> 1.2.0 --- pkgs/development/ocaml-modules/elpi/default.nix | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index fd42cbe20c7..c3e5a272f74 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -2,14 +2,18 @@ , ppx_tools_versioned, ppx_deriving, re }: +if !stdenv.lib.versionAtLeast ocaml.version "4.03" +then throw "elpi is not available for OCaml ${ocaml.version}" +else + stdenv.mkDerivation rec { name = "ocaml${ocaml.version}-elpi-${version}"; - version = "1.1.0"; + version = "1.2.0"; src = fetchFromGitHub { owner = "LPCIC"; repo = "elpi"; rev = "v${version}"; - sha256 = "1fd4mqggdcnbhqwrg8r0ikb1j2lv0fc9hv9xfbyjzbzxbjggf5zc"; + sha256 = "1n4jpidx0vk4y66bhd704ajn8n6f1fd5wsi1shj6wijfmjl14h7s"; }; buildInputs = [ ocaml findlib ppx_tools_versioned ];