mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-10-31 13:02:28 +00:00
Code Activity

Improve readability of boolector build instructions

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2019-03-28 08:48:49 +01:00
parent 79b1ac9570
commit 44869656b8
1 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

12
docs/source/quickstart.rst
View file

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