Installing Flux
Requirements
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
.