about summary refs log tree commit diff homepage
path: root/scripts/build/v-z3.inc
blob: 915336a3ac1b9e0caaf244cf14fe740a9fda223a (plain) (blame)
1
2
3
4
5
6
7
# Build information for Z3 solver
required_variables_z3=(
  "Z3_VERSION"
)

# Artifacts Z3 depends on
artifact_dependency_z3=("sanitizer_compiler")