update install instructions for btorsim

diff --git a/docs/source/install.rst b/docs/source/install.rst
index 50fc45b55a8f415966a678eb67ff59e3c52f6fae..7fed53cc7297ebe3d3809856ad4d418d878c519b 100644 (file)
--- 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