From 7edacffada3483c112ab11ab907a863a54cd007c Mon Sep 17 00:00:00 2001 From: Xavier Denis Date: Wed, 18 Oct 2023 10:50:54 +0200 Subject: [PATCH] Update README.md Add instruction to also build `creusot-rustc`. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d244bee0e8..91ff22aa29 100644 --- a/README.md +++ b/README.md @@ -50,7 +50,7 @@ More examples are found in [creusot/tests/should_succeed](creusot/tests/should_s Then you can try hacking Why3 to make it consider your `z3` be of an older version (e.g., 4.8.10), by updating the relevant field of `~/.why3.conf`. 2. Clone the [creusot](https://github.com/xldenis/creusot/) repo at any directory you like 3. Build **Creusot** - - Enter the cloned directory and run `$ cargo install --path cargo-creusot`, this will build the `cargo-creusot` and `creusot-rustc` executables and place them in `~/.cargo/bin`. + - Enter the cloned directory and run `$ cargo install --path cargo-creusot`, and `$ cargo install --path creusot-rustc` this will build the `cargo-creusot` and `creusot-rustc` executables and place them in `~/.cargo/bin`. # Verifying with Creusot and Why3