# 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):
    OPENOCD_VERSION = "0.12.0-rc1"
    http_archive_or_local(
        name = "openocd",
        local = local,
        url = "https://sourceforge.net/projects/openocd/files/openocd/{version}/openocd-{version}.tar.gz".format(version = OPENOCD_VERSION),
        strip_prefix = "openocd-" + OPENOCD_VERSION,
        build_file = "//third_party/openocd:BUILD.openocd.bazel",
        sha256 = "cdd3654a6c2fd046fe766de5ed897d75467138be9b9c271229bbd7409eb902a5",
    )