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

coqPackages.QuickChick: New expression

Browse Source
This commit is contained in:
John Wiegley 2015-05-08 11:35:00 -05:00 committed by Domen Kožar
parent f6f6156625
commit ec1e3050fe
2 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
pkgs/development/coq-modules/QuickChick/default.nix Normal file
View File

@ -0,0 +1,28 @@
{stdenv, fetchgit, coq, coqPackages}:
stdenv.mkDerivation rec {
name = "coq-QuickChick-${coq.coq-version}-${version}";
version = "21f50a02";
src = fetchgit {
url = git://github.com/QuickChick/QuickChick.git;
rev = "21f50a02e752f6d99d5bfefefcd2ad45df5e778a";
sha256 = "15hsirm443cr098hksfcg3nbjm9mdnmxzpz61qq7ap7lglabl7pw";
};
buildInputs = [ coq.ocaml coq.camlp5 coqPackages.ssreflect ];
propagatedBuildInputs = [ coq ];
enableParallelBuilding = true;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
meta = with stdenv.lib; {
homepage = git://github.com/QuickChick/QuickChick.git;
description = "Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
};
}

2
pkgs/top-level/all-packages.nix
View File

@ -13695,6 +13695,8 @@ let
paco = callPackage ../development/coq-modules/paco {}; paco = callPackage ../development/coq-modules/paco {};
QuickChick = callPackage ../development/coq-modules/QuickChick {};
ssreflect = callPackage ../development/coq-modules/ssreflect {}; ssreflect = callPackage ../development/coq-modules/ssreflect {};
tlc = callPackage ../development/coq-modules/tlc {}; tlc = callPackage ../development/coq-modules/tlc {};