diff options
Diffstat (limited to 'third_party/gtest')
-rw-r--r-- | third_party/gtest/default.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/third_party/gtest/default.nix b/third_party/gtest/default.nix new file mode 100644 index 000000000000..70516853ed5c --- /dev/null +++ b/third_party/gtest/default.nix @@ -0,0 +1,12 @@ +{ pkgs, ... }: + +(pkgs.gtest.override { + stdenv = pkgs.fullLlvm11Stdenv; +}).overrideAttrs(_: { + src = pkgs.fetchFromGitHub { + owner = "google"; + repo = "googletest"; + rev = "9dce5e5d878176dc0054ef381f5c6e705f43ef99"; + sha256 = "05xi61j7j251dzkgk9965lqpbacsy44iblzql941kw9d4nk0q6jl"; + }; +}) |