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

Merge pull request #35 from FelixVi/master

Browse source 
Update Boolector build instructions
This commit is contained in:
Clifford Wolf 2019-03-17 12:27:44 +01:00 committed by GitHub
parent 410db87ebc e80ed3bc80
commit 7c0874c374
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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/