8361b82d0a
In preparation for the solution of b/108, we need to consistently use `depot.third_party` for packages that are only packed in the TVL depot and `pkgs` for things that come from nixpkgs. This commit cleans up a huge chunk of these uses in //third_party Change-Id: Ic382c0cdea7330a84d5f0b7d109c824ddceb94e7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2912 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
21 lines
588 B
Nix
21 lines
588 B
Nix
{ pkgs, ... }:
|
|
|
|
(pkgs.callPackage "${pkgs.path}/pkgs/development/libraries/rapidcheck" {
|
|
stdenv = pkgs.llvmPackages.libcxxStdenv;
|
|
}).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"
|
|
];
|
|
})
|