elpi: 1.4.1 -> 1.6.0, and coq-elpi

This commit is contained in:
Cyril Cohen 2019-08-06 11:15:37 +02:00 committed by Vincent Laporte
parent 380b127658
commit 52f3c28df2
4 changed files with 46 additions and 2 deletions

View file

@ -1083,6 +1083,11 @@
github = "codyopel";
name = "Cody Opel";
};
cohencyril = {
email = "cyril.cohen@inria.fr";
github = "CohenCyril";
name = "Cyril Cohen";
};
colemickens = {
email = "cole.mickens@gmail.com";
github = "colemickens";

View file

@ -0,0 +1,38 @@
{ stdenv, fetchFromGitHub, which, coq }:
let params = {
"8.10" = {
version = "master";
rev = "bc7134deba1aacc7ecd2f5d1032bdf05b125c568";
sha256 = "188avk9irwjsbs5ya4ka01mpk3vw4397kv2rmsncqrrrsa1pdddk";
};
};
param = params."${coq.coq-version}";
in
stdenv.mkDerivation rec {
name = "coq${coq.coq-version}-elpi-${param.version}";
src = fetchFromGitHub {
owner = "LPCIC";
repo = "coq-elpi";
inherit (param) rev sha256;
};
nativeBuildInputs = [ which ];
buildInputs = [ coq coq.ocaml ] ++ (with coq.ocamlPackages; [ findlib elpi ]);
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
meta = {
description = "Coq plugin embedding ELPI.";
maintainers = [ stdenv.lib.maintainers.cohencyril ];
license = stdenv.lib.licenses.lgpl21;
inherit (coq.meta) platforms;
inherit (src.meta) homepage;
};
passthru = {
compatibleCoqVersions = stdenv.lib.flip builtins.hasAttr params;
};
}

View file

@ -4,13 +4,13 @@
buildDunePackage rec {
pname = "elpi";
version = "1.4.1";
version = "1.6.0";
src = fetchFromGitHub {
owner = "LPCIC";
repo = "elpi";
rev = "v${version}";
sha256 = "0sj2jbimg3jqwz4bsfcdqbrh45bb1dbgxj5g234pg1xjy9kxzl2w";
sha256 = "0740a9bg33g7r3injpalmn2jd0h586481vrrkdw46nsaspwcjhza";
};
minimumOCamlVersion = "4.04";

View file

@ -16,6 +16,7 @@ let
category-theory = callPackage ../development/coq-modules/category-theory { };
Cheerios = callPackage ../development/coq-modules/Cheerios {};
CoLoR = callPackage ../development/coq-modules/CoLoR {};
coq-elpi = callPackage ../development/coq-modules/coq-elpi {};
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
coq-extensible-records = callPackage ../development/coq-modules/coq-extensible-records {};
coq-haskell = callPackage ../development/coq-modules/coq-haskell { };