projects
/
SymbiYosys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
docs: add instructions for newer btorsim version required
[SymbiYosys.git]
/
docs
/
source
/
install.rst
diff --git
a/docs/source/install.rst
b/docs/source/install.rst
index 293ee719d0b2bd930d15ba51a724424e4d16062b..50fc45b55a8f415966a678eb67ff59e3c52f6fae 100644
(file)
--- a/
docs/source/install.rst
+++ b/
docs/source/install.rst
@@
-142,3
+142,11
@@
http://fmv.jku.at/boolector/
sudo cp build/bin/{boolector,btor*} /usr/local/bin/
sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/
sudo cp build/bin/{boolector,btor*} /usr/local/bin/
sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/
+To use the ``btor`` engine you additionally need a newer version of btorsim than the boolector setup script builds:
+
+.. code-block:: text
+
+ git clone https://github.com/boolector/btor2tools
+ ./configure.sh
+ cmake .
+ make install