|
| 1 | +# https://bazel.build/external/migration#workspace.bzlmod |
| 2 | +# |
| 3 | +# When bzlmod is enabled and this file exists, the contents of WORKSPACE.bazel |
| 4 | +# is ignored. This file will become empty once all dependencies have been |
| 5 | +# migrated to bzlmod (`MODULE.bazel`). |
| 6 | + |
| 7 | +load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive") |
| 8 | + |
| 9 | +# -- P4{C, Runtime} + transitive dependencies ---------------------------------- |
| 10 | + |
| 11 | +http_archive( |
| 12 | + name = "com_github_p4lang_p4c", |
| 13 | + # Newest commit on main on 2021-12-07. |
| 14 | + url = "https://github.com/p4lang/p4c/archive/80629201abb61d9172639fefc7bb5b9d6007db08.zip", |
| 15 | + strip_prefix = "p4c-80629201abb61d9172639fefc7bb5b9d6007db08", |
| 16 | +) |
| 17 | + |
| 18 | +load("@com_github_p4lang_p4c//:bazel/p4c_deps.bzl", "p4c_deps") |
| 19 | + |
| 20 | +p4c_deps() |
| 21 | + |
| 22 | +load("@com_github_nelhage_rules_boost//:boost/boost.bzl", "boost_deps") |
| 23 | + |
| 24 | +boost_deps() |
| 25 | + |
| 26 | + |
| 27 | +# load("@com_google_googleapis//:repository_rules.bzl", "switched_rules_by_language") |
| 28 | + |
| 29 | +# switched_rules_by_language( |
| 30 | +# name = "com_google_googleapis_imports", |
| 31 | +# cc = True, |
| 32 | +# grpc = True, |
| 33 | +# ) |
| 34 | + |
| 35 | +# load("@com_github_grpc_grpc//bazel:grpc_deps.bzl", "grpc_deps") |
| 36 | + |
| 37 | +# grpc_deps() |
| 38 | + |
| 39 | +# load("@com_github_grpc_grpc//bazel:grpc_extra_deps.bzl", "grpc_extra_deps") |
| 40 | + |
| 41 | +# grpc_extra_deps() |
| 42 | + |
| 43 | +# -- Load Buildifier ----------------------------------------------------- |
| 44 | +# buildifier is written in Go and hence needs rules_go to be built. |
| 45 | +# See https://github.com/bazelbuild/rules_go for the up to date setup instructions. |
| 46 | +http_archive( |
| 47 | + name = "io_bazel_rules_go", |
| 48 | + sha256 = "6dc2da7ab4cf5d7bfc7c949776b1b7c733f05e56edc4bcd9022bb249d2e2a996", |
| 49 | + urls = [ |
| 50 | + "https://mirror.bazel.build/github.com/bazelbuild/rules_go/releases/download/v0.39.1/rules_go-v0.39.1.zip", |
| 51 | + "https://github.com/bazelbuild/rules_go/releases/download/v0.39.1/rules_go-v0.39.1.zip", |
| 52 | + ], |
| 53 | +) |
| 54 | +load("@io_bazel_rules_go//go:deps.bzl", "go_rules_dependencies") |
| 55 | +go_rules_dependencies() |
| 56 | +http_archive( |
| 57 | + name = "com_github_bazelbuild_buildtools", |
| 58 | + sha256 = "ae34c344514e08c23e90da0e2d6cb700fcd28e80c02e23e4d5715dddcb42f7b3", |
| 59 | + strip_prefix = "buildtools-4.2.2", |
| 60 | + urls = [ |
| 61 | + "https://github.com/bazelbuild/buildtools/archive/refs/tags/4.2.2.tar.gz", |
| 62 | + ], |
| 63 | +) |
| 64 | + |
| 65 | +# -- Z3 & Load Rules Foreign CC ------------------------------------------------- |
| 66 | + |
| 67 | +http_archive( |
| 68 | + name = "com_github_z3prover_z3", |
| 69 | + url = "https://github.com/Z3Prover/z3/archive/z3-4.8.12.tar.gz", |
| 70 | + strip_prefix = "z3-z3-4.8.12", |
| 71 | + sha256 = "e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7", |
| 72 | + build_file = "@//:bazel/BUILD.z3.bazel", |
| 73 | +) |
| 74 | +http_archive( |
| 75 | + name = "rules_foreign_cc", |
| 76 | + sha256 = "d54742ffbdc6924f222d2179f0e10e911c5c659c4ae74158e9fe827aad862ac6", |
| 77 | + strip_prefix = "rules_foreign_cc-0.2.0", |
| 78 | + url = "https://github.com/bazelbuild/rules_foreign_cc/archive/0.2.0.tar.gz", |
| 79 | +) |
| 80 | + |
| 81 | +load("@rules_foreign_cc//foreign_cc:repositories.bzl", "rules_foreign_cc_dependencies") |
| 82 | + |
| 83 | +rules_foreign_cc_dependencies() |
0 commit comments