| # Copyright lowRISC contributors. |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| load("//rules:repo.bzl", "http_archive_or_local") |
| |
| def openocd_repos(local = None): |
| http_archive_or_local( |
| name = "openocd", |
| local = local, |
| url = "https://sourceforge.net/projects/openocd/files/openocd/0.12.0-rc1/openocd-0.12.0-rc1.tar.gz", |
| strip_prefix = "openocd-0.12.0-rc1", |
| build_file = Label("//third_party/openocd:BUILD.openocd.bazel"), |
| sha256 = "cdd3654a6c2fd046fe766de5ed897d75467138be9b9c271229bbd7409eb902a5", |
| ) |
