diff options
Diffstat (limited to 'utils/google-benchmark/WORKSPACE')
| -rw-r--r-- | utils/google-benchmark/WORKSPACE | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/utils/google-benchmark/WORKSPACE b/utils/google-benchmark/WORKSPACE new file mode 100644 index 0000000000000..54734f1ea55e7 --- /dev/null +++ b/utils/google-benchmark/WORKSPACE @@ -0,0 +1,7 @@ +workspace(name = "com_github_google_benchmark") + +http_archive( + name = "com_google_googletest", + urls = ["https://github.com/google/googletest/archive/3f0cf6b62ad1eb50d8736538363d3580dd640c3e.zip"], + strip_prefix = "googletest-3f0cf6b62ad1eb50d8736538363d3580dd640c3e", +) |