diff options
| -rw-r--r-- | ci-builds.nix | 1 | ||||
| -rw-r--r-- | third_party/rapidcheck/default.nix | 21 |
2 files changed, 22 insertions, 0 deletions
diff --git a/ci-builds.nix b/ci-builds.nix index d47913181860..2e4e40392014 100644 --- a/ci-builds.nix +++ b/ci-builds.nix @@ -64,6 +64,7 @@ in lib.fix (self: { grpc nix openldap + rapidcheck ]; various = with depot; [ diff --git a/third_party/rapidcheck/default.nix b/third_party/rapidcheck/default.nix new file mode 100644 index 000000000000..eba1d9ca4536 --- /dev/null +++ b/third_party/rapidcheck/default.nix @@ -0,0 +1,21 @@ +{ pkgs, ... }: + +(pkgs.callPackage "${pkgs.nixpkgsSrc}/pkgs/development/libraries/rapidcheck" { + stdenv = pkgs.llvmPackages.libcxxStdenv; +}).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" + ]; +}) |