From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 25 Jul 2021 21:31:25 +0000 (+0100)
Subject: docs: Document that we need miri for testing
X-Git-Tag: otter-0.7.2~2
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=6fa5eb1724a4d0b2dd1c0be843b46abffd6563d1;p=otter.git

docs: Document that we need miri for testing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/docs/build.rst b/docs/build.rst
index abba2fb6..024a33bb 100644
--- a/docs/build.rst
+++ b/docs/build.rst
@@ -44,6 +44,7 @@ Setup
 
      rustup default nightly
      rustup target add wasm32-unknown-unknown
+     rustup component add miri # for the tests
 
    Unfortunately, it is possible that the Rust Nightly you find when
    you run this is missing some pieces, or is not compatible with the