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

Merge pull request #127 from christian-krieg/feat/update-docs_super-prove

Browse source 
Updated install instructions for super_prove
This commit is contained in:
Miodrag Milanović 2021-09-13 16:21:18 +02:00 committed by GitHub
parent 863a53b312 21371fb7ac
commit 15278f1346
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 25 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

28
docs/source/install.rst
View file

@ -76,10 +76,26 @@ https://github.com/Z3Prover/z3/wiki
super_prove
-----------
https://bitbucket.org/sterin/super_prove_build
https://github.com/sterin/super-prove-build
Download the right binary .tar.gz for your system from http://downloads.bvsrc.org/super_prove/
and extract it to ``/usr/local/super_prove``.
.. code-block:: text
sudo apt-get install cmake ninja-build g++ python-dev python-setuptools \
python-pip git
git clone --recursive https://github.com/sterin/super-prove-build
cd super-prove-build
mkdir build
cd build
cmake -DCMAKE_BUILD_TYPE=Release -G Ninja ..
ninja
ninja package
This creates a .tar.gz archive for the target system. Extract it to
``/usr/local/super_prove``
.. code-block:: text
sudo tar -C /usr/local -x super_prove-X-Y-Release.tar.gz
Then create a wrapper script ``/usr/local/bin/suprove`` with the following contents:
@ -89,6 +105,12 @@ Then create a wrapper script ``/usr/local/bin/suprove`` with the following conte
tool=super_prove; if [ "$1" != "${1#+}" ]; then tool="${1#+}"; shift; fi
exec /usr/local/super_prove/bin/${tool}.sh "$@"
And make this wrapper script executable:
.. code-block:: text
sudo chmod +x /usr/local/bin/suprove
Avy
---