From 41cd8e5b5e6d61b2fb28e00b7aa0616a00348b5d Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@yosyshq.com>
Date: Wed, 1 Jun 2022 16:51:28 +0200
Subject: [PATCH] update install instructions for btorsim

---
 docs/source/install.rst | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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
-- 
2.30.2