From: N. Engelhardt <nak@yosyshq.com>
Date: Wed, 1 Jun 2022 14:51:28 +0000 (+0200)
Subject: update install instructions for btorsim
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=41cd8e5b5e6d61b2fb28e00b7aa0616a00348b5d;p=SymbiYosys.git

update install instructions for btorsim
---

diff --git a/docs/source/install.rst b/docs/source/install.rst
index 50fc45b..7fed53c 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -147,6 +147,8 @@ To use the ``btor`` engine you additionally need a newer version of btorsim than
 .. code-block:: text
 
    git clone https://github.com/boolector/btor2tools
+   cd btor2tools
    ./configure.sh
-   cmake .
-   make install
+   cmake . -DBUILD_SHARED_LIBS=OFF
+   make -j$(nproc)
+   sudo make install