# Copyright lowRISC contributors (OpenTitan project).
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

load("@rules_pkg//pkg:tar.bzl", "pkg_tar")
load("@rules_pkg//pkg:mappings.bzl", "pkg_files")
load("//rules:otp.bzl", "get_otp_images")
load("//rules:const.bzl", "KEY_AUTHENTICITY")
load("//rules:bitstreams.bzl", "bitstream_fragment_from_manifest")

package(default_visibility = ["//visibility:public"])

filegroup(
    name = "doc_files",
    srcs = glob(["**/*.md"]),
)

# By default, targets in this file will use cached artifacts from the GCP bucket
# instead of building them from scratch.
#
# You can control GCP bitstream selection with the BITSTREAM environment
# variable. See //rules:bitstreams.bzl for more information.
#
# Alternatively, you can disable or alter this caching behavior with the
# "bitstream" config setting.
#
# * `--define bitstream=skip` skips loading a bitstream into the FPGA. This is
#   useful if you already have a bitstream loaded into the FPGA and you don't
#   want the GCP cache manager to do anything unexpected.
#
# * `--define bitstream=vivado` causes these targets to build from scratch with
#   Vivado. You'll need to have Xilinx Vivado installed and have properly
#   configured access to a license or license server.
#
# * `--define bitstream=gcp_splice` causes these targets to use a cached
#   bitstream, but splice in a locally-built ROM image or OTP.
#
# Downstream targets will see the effects of this caching logic. For example,
# specifying `--define bitstream=vivado` when testing
# //sw/device/silicon_creator/lib/drivers:hmac_functest_fpga_cw310 will turn
# `:test_rom` into a full Vivado bitstream build.

config_setting(
    name = "bitstream_skip",
    define_values = {
        "bitstream": "skip",
    },
)

config_setting(
    name = "bitstream_vivado",
    define_values = {
        "bitstream": "vivado",
    },
)

config_setting(
    name = "bitstream_gcp_splice",
    define_values = {
        "bitstream": "gcp_splice",
    },
)

filegroup(
    name = "bitstream",
    testonly = True,
    srcs = select({
        "bitstream_skip": ["//hw/bitstream/universal:none"],
        "bitstream_vivado": ["//hw/bitstream/vivado:fpga_cw310_test_rom"],
        "bitstream_gcp_splice": ["@bitstreams//:chip_egret_cw310_bitstream"],
        "//conditions:default": ["@bitstreams//:chip_egret_cw310_bitstream"],
    }),
    tags = ["manual"],
)

filegroup(
    name = "cw310_mmi",
    testonly = True,
    srcs = select({
        "bitstream_skip": ["//hw/bitstream/universal:none"],
        "bitstream_vivado": ["//hw/bitstream/vivado:cw310_mmi"],
        "bitstream_gcp_splice": ["@bitstreams//:chip_egret_cw310_mmi"],
        "//conditions:default": ["@bitstreams//:chip_egret_cw310_mmi"],
    }),
    tags = ["manual"],
)

# Create manifest fragments for all the cached bitstreams
bitstream_fragment_from_manifest(
    name = "chip_egret_cw310_cached_fragment",
    testonly = True,
    srcs = [
        "@bitstreams//:chip_egret_cw310_bitstream",
        "@bitstreams//:chip_egret_cw310_mmi",
    ],
    design = "chip_egret_cw310",
    manifest = "@bitstreams//:manifest",
    tags = ["manual"],
)

pkg_tar(
    name = "chip_egret_cw310_cached_archive",
    testonly = True,
    srcs = [":chip_egret_cw310_cached_fragment"],
    mode = "0444",
    package_dir = "build-bin/hw/top_egret/chip_egret_cw310",
    strip_prefix = "/hw/bitstream/chip_egret_cw310_cached_fragment",
    tags = ["manual"],
)

bitstream_fragment_from_manifest(
    name = "chip_egret_cw310_hyperdebug_cached_fragment",
    testonly = True,
    srcs = [
        "@bitstreams//:chip_egret_cw310_hyperdebug_bitstream",
        "@bitstreams//:chip_egret_cw310_hyperdebug_mmi",
    ],
    design = "chip_egret_cw310_hyperdebug",
    manifest = "@bitstreams//:manifest",
    tags = ["manual"],
)

pkg_tar(
    name = "chip_egret_cw310_hyperdebug_cached_archive",
    testonly = True,
    srcs = [":chip_egret_cw310_hyperdebug_cached_fragment"],
    mode = "0444",
    package_dir = "build-bin/hw/top_egret/chip_egret_cw310_hyperdebug",
    strip_prefix = "/hw/bitstream/chip_egret_cw310_hyperdebug_cached_fragment",
    tags = ["manual"],
)

bitstream_fragment_from_manifest(
    name = "chip_egret_cw340_cached_fragment",
    testonly = True,
    srcs = [
        "@bitstreams//:chip_egret_cw340_bitstream",
        "@bitstreams//:chip_egret_cw340_mmi",
    ],
    design = "chip_egret_cw340",
    manifest = "@bitstreams//:manifest",
    tags = ["manual"],
)

pkg_tar(
    name = "chip_egret_cw340_cached_archive",
    testonly = True,
    srcs = [":chip_egret_cw340_cached_fragment"],
    mode = "0444",
    package_dir = "build-bin/hw/top_egret/chip_egret_cw340",
    strip_prefix = "/hw/bitstream/chip_egret_cw340_cached_fragment",
    tags = ["manual"],
)