JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #61081 from vbgl/ocaml-elpi-1.2.0

Browse Source 
ocamlPackages.elpi: 1.1.0 -> 1.2.0
This commit is contained in:
Renaud 2019-05-11 22:55:55 +02:00 committed by GitHub
commit 5f0afa48d1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/ocaml-modules/elpi/default.nix
View File

@ -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 ];