This is a binary release of Sail 0.20 for Linux, for both x86_64 (Intel/AMD) platforms and Aarch64 (Arm). It is built using a Rocky Linux container, so it should work on a wide variety of Linux distributions with more recent glibc versions.
The tarballs can be verified using GitHub artifact attestations with the GitHub CLI client, which should produce output like:
# gh attestation verify sail-Linux-x86_64.tar.gz --owner rems-project
Loaded digest sha256:45e850e28e87f9ee2b4d7cd6c934598bb2071f3cdd5b8bbfcc4d68e26ecab77b for file://sail-Linux-x86_64.tar.gz
Loaded 1 attestation from GitHub API
The following policy criteria will be enforced:
- Predicate type must match:................ https://slsa.dev/provenance/v1
- Source Repository Owner URI must match:... https://github.com/rems-project
- Subject Alternative Name must match regex: (?i)^https://github.com/rems-project/
- OIDC Issuer must match:................... https://token.actions.githubusercontent.com
✓ Verification succeeded!
The following 1 attestation matched the policy criteria
- Attestation #1
- Build repo:..... rems-project/sail
- Build workflow:. .github/workflows/release.yml@refs/heads/sail2
- Signer repo:.... rems-project/sail
- Signer workflow: .github/workflows/release.yml@refs/heads/sail2
To use the binary release, simply extract the correct tarball for your platform and add the included bin directory to your $PATH variable. By default it should know where to find the included Sail libraries and plugins relative to this directory. We include a pre-compiled version of z3, so no additional dependencies should be required.
If you want to move the binaries you will need to set the $SAIL_DIR environment variable to the included share/sail folder, and the $SAIL_PLUGIN_DIR variable to the share/libsail/plugins folder.