diff options
Diffstat (limited to 'third_party/rapidcheck/default.nix')
-rw-r--r-- | third_party/rapidcheck/default.nix | 21 |
1 files changed, 21 insertions, 0 deletions
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" + ]; +}) |