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 db8ba14d557a41d8402cfb33f646ebe99bdc2988..076b8a8b7c0d7098d02ee4e3f61b5fb3f9c05aa8 100644 (file)
--- 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
 ---