mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-04 13:54:07 +00:00
Code Activity

[docs] Fixes instructions for installing boolector

Browse source 
There is a `build` folder where `bin\btorsim` is generated
This commit is contained in:
David SPORN 2024-11-19 07:20:08 +01:00 committed by GitHub
parent 26b387466d
commit 8885582e3c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/source/install.rst
View file

@ -96,7 +96,7 @@ https://boolector.github.io
./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/
sudo cp deps/btor2tools/build/bin/btorsim /usr/local/bin/
To use the ``btor`` engine you will need to install btor2tools from
`commit c35cf1c <https://github.com/Boolector/btor2tools/commit/c35cf1c>`_ or