From 44869656b86993e7ebdc59e7b27191f3ecf119dc Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 28 Mar 2019 08:48:49 +0100 Subject: [PATCH] Improve readability of boolector build instructions Signed-off-by: Clifford Wolf --- docs/source/quickstart.rst | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) 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 -------------------------------- -- 2.30.2