about summary refs log tree commit diff
path: root/third_party/rapidcheck/default.nix
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-05-18T15·42+0200
committerclbot <clbot@tvl.fyi>2022-05-19T14·08+0000
commit7c777e45a2c4476884b69f9cdf3cbb028c74612b (patch)
tree78d07c900b55117ba3d77c3af53ba85ca4c75a6a /third_party/rapidcheck/default.nix
parentd127f9bd0e7b9b2e0df2de8a2227f77c0907468d (diff)
chore(3p/rapidcheck): Remove package r/4099
No longer used without //3p/nix

Change-Id: Iab5fc92f501151c2196c7ce082ea004857b0b0b0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5633
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: tazjin <tazjin@tvl.su>
Diffstat (limited to 'third_party/rapidcheck/default.nix')
-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"
-  ];
-})