Pre-compiled binaries are available on the releases page.
You can download binaries with curl
like so (replace X.Y.Z
with a real
version number and TARGET
with your OS):
curl -sSL https://github.com/GaloisInc/yapall/releases/download/vX.Y.Z/yapall_TARGET -o yapall
To install from source, you'll need to install Rust and Cargo. Follow the instructions on the Rust installation page.
To build and install the very latest unreleased version, run:
cargo install --git https://github.com/GaloisInc/yapall.git yapall
See the developer's guide.