diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-05-07 09:31:57 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-05-07 09:40:51 +0000 |
| commit | ab4b23c35cc52f33d0f692bfda00e753df4c04c4 (patch) | |
| tree | ed4101c5686ddda167ac8fe5783451724cac2a40 /pkgs/development/ocaml-modules/elpi | |
| parent | 2146e1023a83c2035a135e3de18ee45c6f133c44 (diff) | |
| download | nixlib-ab4b23c35cc52f33d0f692bfda00e753df4c04c4.tar nixlib-ab4b23c35cc52f33d0f692bfda00e753df4c04c4.tar.gz nixlib-ab4b23c35cc52f33d0f692bfda00e753df4c04c4.tar.bz2 nixlib-ab4b23c35cc52f33d0f692bfda00e753df4c04c4.tar.lz nixlib-ab4b23c35cc52f33d0f692bfda00e753df4c04c4.tar.xz nixlib-ab4b23c35cc52f33d0f692bfda00e753df4c04c4.tar.zst nixlib-ab4b23c35cc52f33d0f692bfda00e753df4c04c4.zip | |
ocamlPackages.elpi: 1.1.0 -> 1.2.0
Diffstat (limited to 'pkgs/development/ocaml-modules/elpi')
| -rw-r--r-- | pkgs/development/ocaml-modules/elpi/default.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index fd42cbe20c7f..c3e5a272f74e 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 ]; |