mirror of
https://github.com/Z3Prover/z3
synced 2026-02-22 08:17:37 +00:00
21 lines
587 B
Text
21 lines
587 B
Text
module(
|
|
name = "z3",
|
|
version = "4.17.0", # TODO: Read from VERSION.txt - currently manual sync required
|
|
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")
|