From: Christian Krieg <christian@drkrieg.at>
Date: Tue, 20 Jul 2021 20:33:03 +0000 (+0200)
Subject: Updated install instructions for super_prove
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=21371fb7acfffcc1f4100ad59aa9d925d4c03f5b;p=SymbiYosys.git

Updated install instructions for super_prove

* Links were dead
* No binaries to download
* Updated with install information from super_prove github repository
* Augmented with additional commands to ease installation
---

diff --git a/docs/source/install.rst b/docs/source/install.rst
index db8ba14..076b8a8 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -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
 ---