2018-10-08 15:06:31 +01:00
|
|
|
{ stdenv, cmake, fetchFromGitHub }:
|
|
|
|
|
|
2020-06-07 22:11:08 +01:00
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "rapidcheck";
|
2018-10-08 15:06:31 +01:00
|
|
|
version = "unstable-2018-09-27";
|
|
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
|
owner = "emil-e";
|
|
|
|
|
repo = "rapidcheck";
|
|
|
|
|
rev = "de54478fa35c0d9cea14ec0c5c9dfae906da524c";
|
|
|
|
|
sha256 = "0n8l0mlq9xqmpkgcj5xicicd1my2cfwxg25zdy8347dqkl1ppgbs";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
nativeBuildInputs = [ cmake ];
|
|
|
|
|
|
|
|
|
|
postInstall = ''
|
|
|
|
|
cp ../extras/boost_test/include/rapidcheck/boost_test.h $out/include/rapidcheck
|
|
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
|
description = "A C++ framework for property based testing inspired by QuickCheck";
|
|
|
|
|
inherit (src.meta) homepage;
|
|
|
|
|
maintainers = with maintainers; [ jb55 ];
|
|
|
|
|
license = licenses.bsd2;
|
|
|
|
|
platforms = platforms.all;
|
|
|
|
|
};
|
|
|
|
|
}
|
