WORKSPACE

#  This file is distributed under the BSD 3-Clause License. See LICENSE for details.

workspace(name="livehd")

load("@bazel_tools//tools/build_defs/repo:git.bzl", "new_git_repository")
load("@bazel_tools//tools/build_defs/repo:git.bzl", "git_repository")
load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")


#git_repository(
    #name = "bazel_skylib",
    #remote = "https://github.com/bazelbuild/bazel-skylib.git",
    #tag = "0.8.0",  # change this to use a different release
#)

#new_git_repository(
    #name = "opentimer",
    #build_file = "BUILD.opentimer", # relative to external path
    #commit = "4f389dc878405340a9bc283ce6fbb4cb133c3566", # April 10, 2020 62f809407ec3a8ac7e6d4f67e7410b92cfc2dbae", # May 18
    #remote = "https://github.com/OpenTimer/OpenTimer.git",
    ##strip_prefix = "ot", OpenTimer uses ot/... so, we have to keep it
    #patches = ["//external:patch.opentimer"],  # For generated ot/config.hpp
#)
#new_git_repository( # Open_timer user taskflow
#    name = "frozen",
#    build_file = "BUILD.frozen",
#    commit = "3d2b025ff2509f40424855e3f8640fc2fb6b90b9", # July 1, 2020
#    remote = "https://github.com/serge-sans-paille/frozen.git",
#)

#new_git_repository( # Open_timer user taskflow
    #name = "taskflow",
    #build_file = "BUILD.taskflow",
    #commit = "ef1e9916529ce52ca2968a20ac4f8accbd18cdf4", # April 29, 2019
    #remote = "https://github.com/cpp-taskflow/cpp-taskflow.git",
#)
new_git_repository(
    name = "abc",
    build_file = "BUILD.abc", # relative to external path
    commit = "362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54", # April 6 2019
    remote = "https://github.com/berkeley-abc/abc.git",
    patches = ["//external:patch.abc"],
)
new_git_repository(
    name = "yosys",
    build_file = "BUILD.yosys", # relative to external path
    commit = "de79978372c1953e295fa262444cb0a28a246c5f", # Sep 24, 2020 
    remote = "https://github.com/YosysHQ/yosys.git",
    shallow_since = "1588020530 -0700",
    patches = ["//external:patch.yosys"],
)
new_git_repository(
    name = "mustache",
    build_file = "BUILD.mustache", # relative to external path
    commit = "a7eebc9bec92676c1931eddfff7637d7e819f2d2", # August 10, 2020 "40ddfe9daecc699eca319f1c739b0cfc7e5f3ae5", # April 6 2019
    remote = "https://github.com/kainjow/Mustache.git",
    #strip_prefix = "kernel",
    shallow_since = "1587271057 -0700",
)

http_archive(
    name = "rules_proto",
    sha256 = "602e7161d9195e50246177e7c55b2f39950a9cf7366f74ed5f22fd45750cd208",
    strip_prefix = "rules_proto-97d8af4dc474595af3900dd85cb3a29ad28cc313",
    urls = [
        "https://mirror.bazel.build/github.com/bazelbuild/rules_proto/archive/97d8af4dc474595af3900dd85cb3a29ad28cc313.tar.gz",
        "https://github.com/bazelbuild/rules_proto/archive/97d8af4dc474595af3900dd85cb3a29ad28cc313.tar.gz",
        ],
    )
load("@rules_proto//proto:repositories.bzl", "rules_proto_dependencies", "rules_proto_toolchains")
rules_proto_dependencies()
rules_proto_toolchains()

http_archive(
    name = "rules_cc",
    urls = ["https://github.com/bazelbuild/rules_cc/archive/262ebec3c2296296526740db4aefce68c80de7fa.zip"],
    strip_prefix = "rules_cc-262ebec3c2296296526740db4aefce68c80de7fa",
    )

http_archive(
    name = "rules_foreign_cc",
    sha256 = "ab266a13f5f695c898052271af860bf4928fb2ef6a333f7b63076b81271e4342",
    strip_prefix = "rules_foreign_cc-6bb0536452eaca3bad20c21ba6e7968d2eda004d",
    urls = ["https://github.com/bazelbuild/rules_foreign_cc/archive/6bb0536452eaca3bad20c21ba6e7968d2eda004d.zip"],
    )

load("@rules_foreign_cc//:workspace_definitions.bzl", "rules_foreign_cc_dependencies")
rules_foreign_cc_dependencies()

git_repository(
    name = "com_google_absl",
    commit = "e96d49687d9c078f2d47356b6723c3b5715493f7", # Nov, 7 2020
    remote = "https://github.com/abseil/abseil-cpp.git",
)

git_repository(
    name = "com_google_xls",
    commit = "43cc00719bbf106828aebf57d4b435f7971d5bf5", # Nov 4, 2020
    remote = "https://github.com/google/xls.git",
)

http_archive(
    name = "tk_tcl_tcl",
    urls = [
        "https://prdownloads.sourceforge.net/tcl/tcl8.6.10-src.tar.gz",
        ],
    build_file = "BUILD.tk_tcl_tcl",
    strip_prefix = "tcl8.6.10",
    sha256 = "5196dbf6638e3df8d5c87b5815c8c2b758496eb6f0e41446596c9a4e638d87ed",
)

new_git_repository(
    name = "fmt",
    build_file = "BUILD.fmt",
    commit = "cd4af11efc9c622896a3e4cb599fa28668ca3d05", # 7.0.3 August 20 f19b1a521ee8b606dedcadfda69fd10ddf882753", # 7.0.1 June 23, 2020
    remote = "https://github.com/fmtlib/fmt.git",
    #strip_prefix = "include",
    shallow_since = "1596729061 -0700",
)
# Move xxhash.c to xxhash.cpp, fix include inside xxhash.h
# mkdir build; cd build ; cmake ../ ; make ; mv source ../generated/ ; cd ..
# rm -rf source/codegen # LLVM code generation code
# mkpatch --exclude=CMakeFiles ../slang_orig/ .
# s/\.\/slang_orig//g
new_git_repository(
    name = "slang",
    build_file = "BUILD.slang",
    commit = "c0cf9a643f05df63268ecbfe561e9af37c9a62a8", # Nov 2nd, 2020 2a774123444a6152f40639296cf20e90dd7d55b0", # July 23, 2020 # 823fc41d44d53797f0b5ddb1242028cc1fd51f18", #June 12, 2020
    remote = "https://github.com/MikePopoloski/slang.git",
    patches = ["//external:patch.slang"],
)

new_git_repository(
    name = "json",
    build_file = "BUILD.json",
    commit = "d187488e0db0533bdd7c53ec0c687ca1745b8b9e", # Obtober 3, 2019
    remote = "https://github.com/nlohmann/json.git",
    #strip_prefix = "include",
)
git_repository(
    name = "iassert",
    #build_file = "BUILD.iassert",
    commit = "5c18eb082262532f621a23023f092f4119a44968", # September 8, 2020
    remote = "https://github.com/masc-ucsc/iassert.git",
    #strip_prefix = "src",
)
#git_repository(
#    name = "cryptominisat",
#    commit = "d522ab933584ea812429bfb22f752088ed7be599", # August 10, 2019
#    remote = "https://github.com/masc-ucsc/cryptominisat.git",
#    shallow_since = "1565452382 -0700",
#)
new_git_repository(
    name = "cryptominisat",
    build_file = "BUILD.cryptominisat",
    commit = "f8b1da0eed202953912ff8cca10175eab61c0a1d", # September 1, 2020
    remote = "https://github.com/msoos/cryptominisat.git",
    patches = ["//external:patch.cryptominisat"],
)
new_git_repository(
    name = "boolector",
    build_file = "BUILD.boolector",
    commit = "03d76134f86170ab0767194c339fd080e92ad371", # September 1, 2020
    remote = "https://github.com/Boolector/boolector",
    patches = ["//external:patch.boolector"],
)
new_git_repository(
    name = "rapidjson",
    build_file = "BUILD.rapidjson",
    commit = "6534506e829a489bda78bc5eac5faa34da0a2c51", # Nov 23, 2019
    remote = "https://github.com/Tencent/rapidjson.git",
    strip_prefix = "include",
)
new_git_repository(
    name = "httplib",
    build_file = "BUILD.httplib",
    commit = "e4fd9f19cab6eeaf6489ebb129178b3407e76624", # October 24, 2019
    remote = "https://github.com/yhirose/cpp-httplib.git",
)
new_git_repository(
    name = "replxx",
    build_file = "BUILD.replxx",
    commit = "c634cde996610f4d3330e13c0c9e16bf1034382b", # March 23, 2020
    remote = "https://github.com/AmokHuginnsson/replxx.git",
    shallow_since = "1583869163 +0100",
)
new_git_repository(
    name = "gtest",
    build_file = "BUILD.gtest",
    commit = "adeef192947fbc0f68fa14a6c494c8df32177508", # August 15, 2020 "37f322783175a66c11785d17fc153477b0777753", # October 24, 2019
    remote = "https://github.com/google/googletest",
)
new_git_repository(
    name = "verilator",
    build_file = "BUILD.verilator",
    commit = "97d89cce35142d1a1f4c08571d436d5a65e34901", # October 10, 2018
    remote = "http://git.veripool.org/git/verilator",
    patches = ["//external:patch.verilator"],
    #strip_prefix = "include",
)
new_git_repository(
    name = "anubis",
    build_file = "BUILD.anubis",
    commit = "93088bd3c05407ccd871e8d5067d024f812aeeaa", # November 06, 2018
    remote = "https://github.com/masc-ucsc/anubis.git"
    #patches = ["//external:patch.verilator"],
    #strip_prefix = "include",
)
new_git_repository(
    name = "mockturtle",
    build_file = "BUILD.mockturtle",
    commit = "d1b697361d53b4f137d55a18582b290f54ee86bb", # March 20, 2020 19cb4376889a5d91ee947fcbdd3da7a808662a80", # Oct 16 2019
    remote = "https://github.com/lsils/mockturtle.git",
    # patches = ["//external:patch.mockturtle"],
    #strip_prefix = "include",
)

http_archive(
    name = "rules_m4",
    urls = ["https://github.com/jmillikin/rules_m4/releases/download/v0.2/rules_m4-v0.2.tar.xz"],
    sha256 = "c67fa9891bb19e9e6c1050003ba648d35383b8cb3c9572f397ad24040fb7f0eb",
    )
load("@rules_m4//m4:m4.bzl", "m4_register_toolchains")
m4_register_toolchains()

http_archive(
    name = "rules_flex",
    urls = ["https://github.com/jmillikin/rules_flex/releases/download/v0.2/rules_flex-v0.2.tar.xz"],
    sha256 = "f1685512937c2e33a7ebc4d5c6cf38ed282c2ce3b7a9c7c0b542db7e5db59d52",
    )
load("@rules_flex//flex:flex.bzl", "flex_register_toolchains")
flex_register_toolchains()

http_archive(
    name = "rules_bison",
    urls = ["https://github.com/jmillikin/rules_bison/releases/download/v0.2/rules_bison-v0.2.tar.xz"],
    sha256 = "6ee9b396f450ca9753c3283944f9a6015b61227f8386893fb59d593455141481",
    )
load("@rules_bison//bison:bison.bzl", "bison_register_toolchains")
bison_register_toolchains()

new_git_repository(
    name = "graph",
    build_file = "BUILD.graph",
    commit = "b1e38e1084a0dff6f4eb4ed9a645ed63d3e83dd2", # latest commit Jan 21, 2019
    remote = "https://github.com/cbbowen/graph",
)
new_git_repository(
	name = "range-v3",
	build_file = "BUILD.rangev3",
	commit = "f013aef2ae81f3661a560e7922a968665bedebff", # 4f4beb45c5e56aca4233e4d4c760208e21fff2ec", # specific commit used by graph, made on Jan 11 2019
	remote = "https://github.com/ericniebler/range-v3",
)

git_repository(
    name = "com_github_nelhage_rules_boost",
    commit = "1e3a69bf2d5cd10c34b74f066054cd335d033d71",  # Nov 7, 2020
    remote = "https://github.com/nelhage/rules_boost",
    shallow_since = "1591047380 -0700",
    )

load("@com_github_nelhage_rules_boost//:boost/boost.bzl", "boost_deps")
boost_deps()


# Hermetic even for the toolchain :D
http_archive(
    name = "bazel_toolchains",
    sha256 = "882fecfc88d3dc528f5c5681d95d730e213e39099abff2e637688a91a9619395",
    strip_prefix = "bazel-toolchains-3.4.0",
    urls = [
        "https://github.com/bazelbuild/bazel-toolchains/releases/download/3.4.0/bazel-toolchains-3.4.0.tar.gz",
        "https://mirror.bazel.build/github.com/bazelbuild/bazel-toolchains/releases/download/3.4.0/bazel-toolchains-3.4.0.tar.gz",
        ],
    )

#http_archive(
    #name = "bazel_toolchains",
    #sha256 = "239a1a673861eabf988e9804f45da3b94da28d1aff05c373b013193c315d9d9e",
    #strip_prefix = "bazel-toolchains-3.0.1",
    #urls = [
        #"https://github.com/bazelbuild/bazel-toolchains/releases/download/3.0.1/bazel-toolchains-3.0.1.tar.gz",
        #"https://mirror.bazel.build/github.com/bazelbuild/bazel-toolchains/releases/download/3.0.1/bazel-toolchains-3.0.1.tar.gz",
    #],
#)

#load("@bazel_toolchains//rules:rbe_repo.bzl", "rbe_autoconfig")

#git_repository(
#    name = "rules_graal",
#    commit = "acfe667b44c6a8e78178eb39ad10cc5ba2ee954c",
#    remote = "git://github.com/andyscott/rules_graal",
#)
#
#load("@rules_graal//graal:graal_bindist.bzl", "graal_bindist_repository")
#
#graal_bindist_repository(
#    name = "graal",
#    version = "19.3.1",
#    java_version = "11",
#)

http_archive(
    name = "com_google_protobuf",
    #repo_mapping = {"@zlib": "@net_zlib"},
    sha256 = "1c744a6a1f2c901e68c5521bc275e22bdc66256eeb605c2781923365b7087e5f",
    strip_prefix = "protobuf-3.13.0",
    urls = [
        "https://mirror.bazel.build/github.com/protocolbuffers/protobuf/archive/v3.13.0.zip",
        "https://github.com/protocolbuffers/protobuf/archive/v3.13.0.zip",
        ],
    )