mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-06 14:24:08 +00:00
Code Activity

Update Boolector build instructions

Browse source
This commit is contained in:
Felix Vietmeyer 2019-03-16 15:47:47 -06:00
parent 410db87ebc
commit e80ed3bc80
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
docs/source/quickstart.rst
View file

@ -119,10 +119,8 @@ http://fmv.jku.at/boolector/
.. code-block:: text
git clone https://github.com/boolector/boolector
git clone https://github.com/arminbiere/lingeling boolector/deps/lingeling
git clone https://github.com/boolector/btor2tools boolector/deps/btor2tools
( cd boolector/deps/lingeling && ./configure.sh -fPIC && make -j$(nproc); )
( cd boolector/deps/btor2tools && ./configure.sh -fPIC && make -j$(nproc); )
( 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/