mirror of
https://github.com/Z3Prover/z3
synced 2025-06-25 15:23:41 +00:00
21 lines
523 B
Text
21 lines
523 B
Text
module(
|
|
name = "z3",
|
|
version = "4.14.0",
|
|
bazel_compatibility = [">=7.0.0"],
|
|
)
|
|
|
|
bazel_dep(name = "rules_foreign_cc", version = "0.14.0")
|
|
bazel_dep(name = "rules_license", version = "1.0.0")
|
|
|
|
# Enables formatting all Bazel files (.bazel, .bzl) by running:
|
|
# ```bash
|
|
# bazel run -- \
|
|
# @buildifier_prebuilt//:buildifier --lint=fix -r $(bazel info workspace)
|
|
# ```
|
|
bazel_dep(
|
|
name = "buildifier_prebuilt",
|
|
version = "8.0.1",
|
|
dev_dependency = True,
|
|
)
|
|
|
|
bazel_dep(name = "platforms", version = "0.0.11")
|