mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-07-13 21:50:33 +03:00
ocamlPackages.qcheck: 0.7 → 0.15
This commit is contained in:
parent
491e809867
commit
10fef19f4b
1 changed files with 8 additions and 23 deletions
|
@ -1,29 +1,14 @@
|
||||||
{ stdenv, fetchzip, ocaml, findlib, ocamlbuild, ounit }:
|
{ buildDunePackage, qcheck-ounit }:
|
||||||
|
|
||||||
assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4";
|
buildDunePackage {
|
||||||
|
pname = "qcheck";
|
||||||
|
|
||||||
stdenv.mkDerivation {
|
inherit (qcheck-ounit) version src;
|
||||||
|
|
||||||
name = "ocaml${ocaml.version}-qcheck-0.7";
|
propagatedBuildInputs = [ qcheck-ounit ];
|
||||||
src = fetchzip {
|
|
||||||
url = "https://github.com/c-cube/qcheck/archive/0.7.tar.gz";
|
meta = qcheck-ounit.meta // {
|
||||||
sha256 = "1afy7li74r3ivpvq670gvsj1rmglh5rnvb17p6w8gy5rh30aljah";
|
description = "Compatibility package for qcheck";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ ocaml findlib ocamlbuild ounit ];
|
|
||||||
|
|
||||||
configureFlags = [ "--enable-tests" ];
|
|
||||||
|
|
||||||
doCheck = true;
|
|
||||||
checkPhase = "ocaml setup.ml -test";
|
|
||||||
|
|
||||||
createFindlibDestdir = true;
|
|
||||||
|
|
||||||
meta = {
|
|
||||||
description = "QuickCheck inspired property-based testing for OCaml";
|
|
||||||
homepage = "https://github.com/c-cube/qcheck/";
|
|
||||||
license = stdenv.lib.licenses.bsd2;
|
|
||||||
maintainers = with stdenv.lib.maintainers; [ vbgl ];
|
|
||||||
platforms = ocaml.meta.platforms or [];
|
|
||||||
};
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue