diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-05-18T15·42+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-05-19T14·08+0000 |
| commit | 7c777e45a2c4476884b69f9cdf3cbb028c74612b (patch) | |
| tree | 78d07c900b55117ba3d77c3af53ba85ca4c75a6a /third_party | |
| parent | d127f9bd0e7b9b2e0df2de8a2227f77c0907468d (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')
| -rw-r--r-- | third_party/rapidcheck/default.nix | 21 |
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" - ]; -}) |