Merge pull request #48048 from jb55/rapidcheck

rapidcheck: init at unstable-2018-09-27
This commit is contained in:
Renaud 2018-10-08 23:46:48 +02:00 committed by GitHub
commit 81b851c6bc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 29 additions and 0 deletions

View file

@ -0,0 +1,27 @@
{ stdenv, cmake, fetchFromGitHub }:
stdenv.mkDerivation rec{
name = "rapidcheck-${version}";
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;
};
}

View file

@ -11971,6 +11971,8 @@ with pkgs;
rabbitmq-java-client = callPackage ../development/libraries/rabbitmq-java-client {};
rapidcheck = callPackage ../development/libraries/rapidcheck {};
rapidjson = callPackage ../development/libraries/rapidjson {};
raul = callPackage ../development/libraries/audio/raul { };