ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-21 12:38:41 +03:00
Code Issues Projects Releases Wiki Activity

coqPackages.paramcoq: init at 1.1.1

Browse Source
This commit is contained in:
Vincent Laporte 2019-02-11 09:04:26 +00:00 committed by Vincent Laporte
parent a954ca52e5
commit 13e9efbb02
2 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
pkgs/development/coq-modules/paramcoq/default.nix Normal file
View File

@ -0,0 +1,48 @@
{ stdenv, fetchFromGitHub, coq }:
let params =
{
"8.7" = {
version = "1.1.1+coq8.7";
sha256 = "1i7b5pkx46zf9il2xikbp3rhpnh3wdfbhw5yxcf9yk28ky9s0a0l";
};
"8.8" = {
version = "1.1.1";
sha256 = "0b07zvgm9cx6j2d9631zmqjs6sf30kiqg6k15xk3km7n80d53wfh";
};
"8.9" = {
version = "1.1.1+coq8.9";
sha256 = "002xabhjlph394vydw3dx8ipv5ry2nq3py4440bk9a18ljx0w6ll";
};
};
param = params."${coq.coq-version}";
in
stdenv.mkDerivation rec {
inherit (param) version;
name = "coq${coq.coq-version}-paramcoq-${version}";
src = fetchFromGitHub {
owner = "coq-community";
repo = "paramcoq";
rev = "v${version}";
inherit (param) sha256;
};
buildInputs = [ coq ]
++ (with coq.ocamlPackages; [ ocaml findlib camlp5 ])
;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
passthru = {
compatibleCoqVersions = v: builtins.hasAttr v params;
};
meta = {
description = "Coq plugin for parametricity";
inherit (src.meta) homepage;
license = stdenv.lib.licenses.mit;
maintainers = [ stdenv.lib.maintainers.vbgl ];
inherit (coq.meta) platforms;
};
}

1
pkgs/top-level/coq-packages.nix
View File

@ -39,6 +39,7 @@ let
metalib = callPackage ../development/coq-modules/metalib { };
multinomials = callPackage ../development/coq-modules/multinomials {};
paco = callPackage ../development/coq-modules/paco {};
paramcoq = callPackage ../development/coq-modules/paramcoq {};
QuickChick = callPackage ../development/coq-modules/QuickChick {};
simple-io = callPackage ../development/coq-modules/simple-io { };
ssreflect = callPackage ../development/coq-modules/ssreflect { };