From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 28 Mar 2019 07:48:49 +0000 (+0100)
Subject: Improve readability of boolector build instructions
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=44869656b86993e7ebdc59e7b27191f3ecf119dc;p=SymbiYosys.git

Improve readability of boolector build instructions

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

diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index f7e0637..55a1a81 100644
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -119,11 +119,13 @@ http://fmv.jku.at/boolector/
 .. code-block:: text
 
    git clone https://github.com/boolector/boolector
-   ( cd boolector && ./contrib/setup-btor2tools.sh; )
-   ( cd boolector && ./contrib/setup-lingeling.sh; )
-   ( 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/
+   cd boolector
+   ./contrib/setup-btor2tools.sh
+   ./contrib/setup-lingeling.sh
+   ./configure.sh
+   make -C build -j$(nproc)
+   sudo cp build/bin/{boolector,btor*} /usr/local/bin/
+   sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/
 
 First step: A simple BMC example
 --------------------------------