summaryrefslogtreecommitdiffstats
path: root/docs/release/installation
diff options
context:
space:
mode:
authorriccardo.sisto <riccardo.sisto@polito.it>2017-03-09 17:19:31 +0100
committerriccardo.sisto <riccardo.sisto@polito.it>2017-03-10 14:38:29 +0100
commit9c41f06b30811b8f2d21a3fb5032ad5f2ecb2682 (patch)
tree3e7522a5942a47069ef697bc8bb363f936a6249a /docs/release/installation
parent3d49592838370aa7e8cb7142f3da237843f30aba (diff)
Add verigraph documentation
Add design doc and installation instructions (pointing to Readme in code base). User manual will be provided in next release Change-Id: I5118894e80a36c1fc0dc29b6e6c3b59637e1b6d0 Signed-off-by: riccardo.sisto <riccardo.sisto@polito.it>
Diffstat (limited to 'docs/release/installation')
-rw-r--r--docs/release/installation/installation.instruction.rst26
1 files changed, 26 insertions, 0 deletions
diff --git a/docs/release/installation/installation.instruction.rst b/docs/release/installation/installation.instruction.rst
index 999080c..de6956a 100644
--- a/docs/release/installation/installation.instruction.rst
+++ b/docs/release/installation/installation.instruction.rst
@@ -105,3 +105,29 @@ Step 2: Install the policy2tosca module.
python setup.py install
+Parser verigraph installation
+=============================
+
+In the present release, verigraph requires that the following software is also installed:
+
+- Java 1.8 (with javac compiler)
+- Apache Tomcat 8
+- Microsoft Z3 (https://github.com/Z3Prover/bin/tree/master/releases)
+- Neo4J (https://neo4j.org)
+
+Please follow the below installation steps to install verigraph.
+
+Step 1: Clone the parser project.
+
+.. code-block:: bash
+
+ git clone https://gerrit.opnfv.org/gerrit/parser
+
+Step 2: Go to the verigraph directory.
+
+.. code-block:: bash
+
+ cd parser/verigraph
+
+Step3: Follow the instructions in README.rst for downloading verigraph
+dependencies and for installing verigraph.