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..ec8c01694da6
--- /dev/null
+++ b/third_party/rapidcheck/default.nix
@@ -0,0 +1,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"
+  ];
+})