From 9edf2d132f7889d2bbc1aa262dc53cfdee9a65c1 Mon Sep 17 00:00:00 2001 From: Reto Achermann Date: Mon, 19 Aug 2024 19:22:56 +0000 Subject: [PATCH] update benchmark readme Signed-off-by: Reto Achermann --- benchmarks/README.md | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/benchmarks/README.md b/benchmarks/README.md index 26f45b6..a775b9c 100644 --- a/benchmarks/README.md +++ b/benchmarks/README.md @@ -4,12 +4,20 @@ The following benchmarks are used in the evaluation for the paper "Verus: A Prac ## Dependencies -To run the benchmarks, you need to install the following dependencies besides Rust. +To run the benchmarks, you need to install the following dependencies: ``` -sudo apt install liburcu-dev libhwloc-dev python3-venv texlive-xetex texlive-fonts-extra +sudo apt-get install curl wget liburcu-dev libhwloc-dev python3-venv texlive-xetex texlive-fonts-extra pkg-config clang make g++ ``` +Install Rust using rustup: + +```shell +$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh +. "$HOME/.cargo/env" +``` + + Linear Dafny requires a specific version of libssl. You can install this with the follwing command: ``` wget http://archive.ubuntu.com/ubuntu/pool/main/o/openssl/libssl1.1_1.1.0g-2ubuntu4_amd64.deb