Skip to main content

build

z3_src

Function build 

Source 
pub fn build() -> Artifacts
Expand description

Build Z3 from source and return the resulting artifacts.

Call this from your crate’s build.rs.

Source resolution priority:

  1. Z3_SRC_SOURCE_DIR environment variable
  2. Bundled source at $CARGO_MANIFEST_DIR/z3/ (the submodule)
  3. Panics with a clear message