Installing Flux

Requirements

• rustup
• liquid-fixpoint
• z3

Be sure that the liquid-fixpoint and z3 executables are in your $PATH.

Installing

The only way to use flux is to build it from source.

First you need to clone the repository

git clone https://github.com/liquid-rust/flux
cd flux

To build the source you need a nightly version of rustc. We pin the version using a toolchain file (more info here). If you are using rustup, no special action is needed as it should install the correct rustc version and components based on the information on that file.

Next, run the following to build and install flux binaries

cargo install --path flux
cargo install --path flux-bin

This will install flux-driver, rustc-flux and cargo-flux. Note that you should not call flux-driver directly, but rather use rustc-flux and cargo-flux.