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

coqPackages.QuickChick: Update build for Coq 8.6 and 8.7

Browse Source
This commit is contained in:
John Wiegley 2017-11-12 09:17:48 -08:00
parent f1fc74359f
commit dcab51c6f4
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
1 changed files with 14 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/development/coq-modules/QuickChick/default.nix
View File

@ -15,9 +15,15 @@ let param =
}; };
"8.6" = { "8.6" = {
version = "20170616"; version = "20171102";
rev = "366ee3f8e599b5cab438a63a09713f44ac544c5a"; rev = "0fdb769e1dc87a278383b44a9f5102cc7ccbafcf";
sha256 = "06kwnrfndnr6w8bmaa2s0i0rkqyv081zj55z3vcyn0wr6x6mlsz9"; sha256 = "0fri4nih40vfb0fbr82dsi631ydkw48xszinq43lyinpknf54y17";
};
"8.7" = {
version = "20171102";
rev = "ddf746809c211fa7edfdbfe459d5a7e1cca47a44";
sha256 = "0jg3x0w8p088b8369qx492hjpq09f9h2i0li6ph3pny6hdkpdzsi";
}; };
}."${coq.coq-version}" }."${coq.coq-version}"
@ -32,12 +38,14 @@ stdenv.mkDerivation rec {
inherit (param) rev sha256; inherit (param) rev sha256;
}; };
buildInputs = [ coq.ocaml coq.camlp5 ]; buildInputs = [ coq.ocaml coq.camlp5 coq.findlib ];
propagatedBuildInputs = [ coq ssreflect ]; propagatedBuildInputs = [ coq ssreflect ];
enableParallelBuilding = true; enableParallelBuilding = false;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; installPhase = ''
make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install
'';
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = git://github.com/QuickChick/QuickChick.git; homepage = git://github.com/QuickChick/QuickChick.git;