From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 8 Dec 2018 22:42:52 +0000 (+0100)
Subject: Also add install docs for btorsim
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=970e4b2857103d5237d6069e4e753b978dc480c4;p=SymbiYosys.git

Also add install docs for btorsim

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index 335f118..ffaff77 100644
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -125,6 +125,7 @@ http://fmv.jku.at/boolector/
    ( cd boolector/deps/btor2tools && ./configure.sh -fPIC && make -j$(nproc); )
    ( cd boolector && ./configure.sh && cd build && make -j$(nproc); )
    sudo cp boolector/build/bin/{boolector,btor*} /usr/local/bin/
+   sudo cp boolector/deps/btor2tools/bin/btorsim /usr/local/bin/
 
 First step: A simple BMC example
 --------------------------------