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 | |
| 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
| -rw-r--r-- | pkgs/development/coq-modules/QuickChick/default.nix | 28 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 30 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; + }; + +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index fc8bb30aaabf..4cde5956f77c 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -13650,6 +13650,8 @@ let paco = callPackage ../development/coq-modules/paco {}; + QuickChick = callPackage ../development/coq-modules/QuickChick {}; + ssreflect = callPackage ../development/coq-modules/ssreflect {}; tlc = callPackage ../development/coq-modules/tlc {}; |