about summary refs log tree commit diff
path: root/third_party/rapidcheck
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/rapidcheck')
-rw-r--r--third_party/rapidcheck/default.nix21
1 files changed, 0 insertions, 21 deletions
diff --git a/third_party/rapidcheck/default.nix b/third_party/rapidcheck/default.nix
deleted file mode 100644
index ec8c01694da6..000000000000
--- a/third_party/rapidcheck/default.nix
+++ /dev/null
@@ -1,21 +0,0 @@
-{ 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"
-  ];
-})