blob: ec8c01694da64d1795a827d74ad2884a1abf78bc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
{ pkgs, ... }:
(pkgs.callPackage "${pkgs.path}/pkgs/development/libraries/rapidcheck" {
stdenv = pkgs.fullLlvm11Stdenv;
}).overrideAttrs (attrs: rec {
# follows the versioning scheme of nixpkgs, since rapidcheck does not
# provide versioned releases
version = "unstable-2020-05-04";
src = pkgs.fetchFromGitHub {
owner = "emil-e";
repo = "rapidcheck";
rev = "7bc7d302191a4f3d0bf005692677126136e02f60";
sha256 = "0khawy2n007yk97ls2qqpna4ly09v6rb6hw72nm16kzk3zbyzh17";
};
cmakeFlags = [
"-DRC_ENABLE_GTEST=ON"
"-DRC_ENABLE_GMOCK=ON"
];
})
|