Merge pull request #83512 from vbgl/coq-paramcoq-1.1.2
coqPackages.paramcoq: 1.1.1 → 1.1.2
This commit is contained in:
commit
aa79e45fad
@ -3,33 +3,40 @@
|
|||||||
let params =
|
let params =
|
||||||
{
|
{
|
||||||
"8.7" = {
|
"8.7" = {
|
||||||
version = "1.1.1+coq8.7";
|
sha256 = "09n0ky7ldb24by7yf5j3hv410h85x50ksilf7qacl7xglj4gy5hj";
|
||||||
sha256 = "1i7b5pkx46zf9il2xikbp3rhpnh3wdfbhw5yxcf9yk28ky9s0a0l";
|
buildInputs = [ coq.ocamlPackages.camlp5 ];
|
||||||
};
|
};
|
||||||
"8.8" = {
|
"8.8" = {
|
||||||
version = "1.1.1";
|
sha256 = "0rc4lshqvnfdsph98gnscvpmlirs9wx91qcvffggg73xw0p1g9s0";
|
||||||
sha256 = "0b07zvgm9cx6j2d9631zmqjs6sf30kiqg6k15xk3km7n80d53wfh";
|
buildInputs = [ coq.ocamlPackages.camlp5 ];
|
||||||
};
|
};
|
||||||
"8.9" = {
|
"8.9" = {
|
||||||
version = "1.1.1+coq8.9";
|
sha256 = "1jjzgpff09xjn9kgp7w69r096jkj0x2ksng3pawrmhmn7clwivbk";
|
||||||
sha256 = "002xabhjlph394vydw3dx8ipv5ry2nq3py4440bk9a18ljx0w6ll";
|
buildInputs = [ coq.ocamlPackages.camlp5 ];
|
||||||
|
};
|
||||||
|
"8.10" = {
|
||||||
|
sha256 = "1lq1mw15w4yky79qg3rm0mpzqi2ir51b6ak04ismrdr7ixky49y8";
|
||||||
|
};
|
||||||
|
"8.11" = {
|
||||||
|
sha256 = "09c6813988nvq4fpa45s33k70plnhxsblhm7cxxkg0i37mhvigsa";
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
param = params.${coq.coq-version};
|
param = params.${coq.coq-version};
|
||||||
in
|
in
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
inherit (param) version;
|
version = "1.1.2";
|
||||||
name = "coq${coq.coq-version}-paramcoq-${version}";
|
name = "coq${coq.coq-version}-paramcoq-${version}";
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "coq-community";
|
owner = "coq-community";
|
||||||
repo = "paramcoq";
|
repo = "paramcoq";
|
||||||
rev = "v${version}";
|
rev = "v${version}+coq${coq.coq-version}";
|
||||||
inherit (param) sha256;
|
inherit (param) sha256;
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ coq ]
|
buildInputs = [ coq ]
|
||||||
++ (with coq.ocamlPackages; [ ocaml findlib camlp5 ])
|
++ (with coq.ocamlPackages; [ ocaml findlib ])
|
||||||
|
++ (param.buildInputs or [])
|
||||||
;
|
;
|
||||||
|
|
||||||
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
|
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
|
||||||
|
Loading…
Reference in New Issue
Block a user