mirror of
https://github.com/Z3Prover/z3
synced 2025-07-05 12:25:41 +00:00
18 lines
481 B
Text
18 lines
481 B
Text
# Use Bzlmod (`MODULE.bazel`) instead of `WORKSPACE.bazel`.
|
|
common --enable_bzlmod
|
|
common --noenable_workspace
|
|
|
|
# Specifies...
|
|
# --config=windows on Windows hosts
|
|
# --config=linux on Linux hosts
|
|
# --config=macos on macOS hosts
|
|
# NOTE: We assume our host and target platforms are identical.
|
|
common --enable_platform_specific_config
|
|
|
|
# Use C++20.
|
|
build --cxxopt=-std=c++20
|
|
build --host_cxxopt=-std=c++20
|
|
|
|
# Use Clang.
|
|
build --action_env=CC=clang
|
|
build --action_env=CXX=clang++
|