Sanctifier ships pre-built binaries for macOS (Intel & Apple Silicon), Linux (x86-64 & aarch64), and Windows (x86-64). Pick the method that best fits your workflow.
brew tap Centurylong/sanctifier
brew install sanctifierThis downloads a pre-built binary that is statically linked against z3, so no extra system libraries are required.
To upgrade later:
brew upgrade sanctifiercargo-binstall downloads the
correct pre-built binary for your platform straight from GitHub Releases,
falling back to a source build if no binary is available.
# Install cargo-binstall itself (once)
cargo install cargo-binstall
# Install sanctifier
cargo binstall sanctifier-cliPre-built archives are attached to every GitHub
Release. Download the
archive for your platform, verify the checksum, and place the binary on your
PATH.
| Platform | Archive name |
|---|---|
| macOS (Apple Silicon) | sanctifier-<version>-aarch64-apple-darwin.tar.gz |
| macOS (Intel) | sanctifier-<version>-x86_64-apple-darwin.tar.gz |
| Linux x86-64 | sanctifier-<version>-x86_64-unknown-linux-gnu.tar.gz |
| Linux aarch64 | sanctifier-<version>-aarch64-unknown-linux-gnu.tar.gz |
| Windows x86-64 | sanctifier-<version>-x86_64-pc-windows-msvc.zip |
Verify the download against SHA256SUMS (also attached to each release):
sha256sum --check SHA256SUMSRequires Rust 1.78+ and libz3 (or a compiler toolchain to build z3 from source).
# From crates.io (once published)
cargo install sanctifier-cli
# From the git repository
cargo install --git https://github.com/Centurylong/sanctifier sanctifier-cliOn Debian/Ubuntu you can satisfy the z3 build dependency with:
sudo apt-get install libz3-dev cmakeOn macOS:
brew install z3 cmakeEach release attaches a SHA256SUMS file. After downloading a binary archive:
# Example for Linux x86-64
curl -LO https://github.com/Centurylong/sanctifier/releases/download/v0.1.0/sanctifier-0.1.0-x86_64-unknown-linux-gnu.tar.gz
curl -LO https://github.com/Centurylong/sanctifier/releases/download/v0.1.0/SHA256SUMS
sha256sum --check --ignore-missing SHA256SUMS