Installation

Pre-compiled binaries

Pre-compiled binaries are available on the releases page.

Fetching binaries with cURL

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

Build from source

To install from source, you'll need to install Rust and Cargo. Follow the instructions on the Rust installation page.

From the latest unreleased version on Github

To build and install the very latest unreleased version, run:

cargo install --git https://github.com/GaloisInc/yapall.git yapall

From a local checkout

See the developer's guide.