diff options
author | John Wiegley <johnw@newartisans.com> | 2015-05-08 11:35:00 -0500 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2015-05-08 11:35:23 -0500 |
commit | 1da4d8b5c927413238531c166c64a966997873d5 (patch) | |
tree | 7e1794c3d5d64eeca813d5da930cc688cc23d31e /pkgs/development/coq-modules | |
parent | 7fd7cf69af23ae4c63981bfc7e72aedc38836447 (diff) | |
download | nixlib-1da4d8b5c927413238531c166c64a966997873d5.tar nixlib-1da4d8b5c927413238531c166c64a966997873d5.tar.gz nixlib-1da4d8b5c927413238531c166c64a966997873d5.tar.bz2 nixlib-1da4d8b5c927413238531c166c64a966997873d5.tar.lz nixlib-1da4d8b5c927413238531c166c64a966997873d5.tar.xz nixlib-1da4d8b5c927413238531c166c64a966997873d5.tar.zst nixlib-1da4d8b5c927413238531c166c64a966997873d5.zip |
coqPackages.QuickChick: New expression
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/QuickChick/default.nix b/pkgs/development/coq-modules/QuickChick/default.nix new file mode 100644 index 000000000000..9141bfd24d11 --- /dev/null +++ b/pkgs/development/coq-modules/QuickChick/default.nix @@ -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; + }; + +} |