summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/qcheck/default.nix
blob: 158c69ef11a85c5aa21ecfad1b7ea503eaa71f07 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
{ stdenv, fetchzip, ocaml, findlib, ocamlbuild, oasis, ounit }:

assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4";

stdenv.mkDerivation {

  name = "ocaml-qcheck-0.4.0.1";
  src = fetchzip {
    url = https://github.com/c-cube/qcheck/archive/0.4.0.1.tar.gz;
    sha256 = "0j2jdrfz8rrslgjihnfgg8yy12860z2vvf7hqzjbmfmf03hz4pgv";
  };

  buildInputs = [ ocaml findlib ocamlbuild oasis ounit ];

  configureFlags = "--enable-tests --enable-ounit";

  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 [];
  };
}