From ab7e0c34267f8c00f96d3999951517bc8f18c6b7 Mon Sep 17 00:00:00 2001 From: Lucas Franceschino Date: Mon, 10 Jun 2024 16:32:06 +0200 Subject: [PATCH] Update intro.md: use latest version of gist for makefile --- src/quick_start/intro.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/quick_start/intro.md b/src/quick_start/intro.md index a939a89..02c1a96 100644 --- a/src/quick_start/intro.md +++ b/src/quick_start/intro.md @@ -19,7 +19,7 @@ what you are looking for! - **user-checkable** Create the folder `proofs/fstar/extraction` folder, right next to the `Cargo.toml` of the crate you want to verify. 🪄 `mkdir -p proofs/fstar/extraction` - **user-checkable** Copy [this makefile](https://gist.github.com/W95Psp/4c304132a1f85c5af4e4959dd6b356c3) to `proofs/fstar/extraction/Makefile`. - 🪄 `curl -O proofs/fstar/extraction/Makefile https://gist.githubusercontent.com/W95Psp/4c304132a1f85c5af4e4959dd6b356c3/raw/64fd922820b64d90f4d26eaf70ed02e694c30719/Makefile` + 🪄 `curl -O proofs/fstar/extraction/Makefile https://gist.githubusercontent.com/W95Psp/4c304132a1f85c5af4e4959dd6b356c3/raw/Makefile` - **user-checkable** Add `hax-lib` as a dependency to your crate. 🪄 `cargo add --git https://github.com/hacspec/hax hax-lib` 🪄 *(`hax-lib` is not mandatory, but this guide assumes it is present)*