3c7d4c74be
* This was mostly for //third_party/nix and its dependencies which now have been set to use llvmPackages_11 manually. * For //users/grfn/achilles we also manually select the newer LLVM version. * //tools/cheddar doesn't seem to need llvm anymore. * //third_party/buzz also compiles with clang 7.1.0 * replace clang-tools everywhere with new attribute clang-tools_11 For the future we may want to have something similar again, but it may not be necessary to invest too much time into it: nixpkgs is set to upgrade their default llvmPackages to LLVM 11 as well at some point in the near future. Co-Authored-By: sterni <sternenseemann@systemli.org> Change-Id: Id83868dbc476a6c776b59518b856c933f30ea79d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3135 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi>
21 lines
591 B
Nix
21 lines
591 B
Nix
{ pkgs, ... }:
|
|
|
|
(pkgs.callPackage "${pkgs.path}/pkgs/development/libraries/rapidcheck" {
|
|
stdenv = pkgs.llvmPackages_11.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"
|
|
];
|
|
})
|