mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(3p/rapidcheck): Remove package

Browse source 
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>
This commit is contained in:
Vincent Ambo 2022-05-18 17:42:20 +02:00 committed by clbot
parent d127f9bd0e
commit 7c777e45a2
1 changed files with 0 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
third_party/rapidcheck/default.nix vendored
View file

@ -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"
];
})