From f848ccf39fe574710f478911bc0cc93c0744bba4 Mon Sep 17 00:00:00 2001 From: Oszkár Semeráth Date: Wed, 28 Feb 2018 13:21:34 -0500 Subject: updated graphviz dependencies --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index e5d974a8..7e307eab 100644 --- a/README.md +++ b/README.md @@ -11,6 +11,8 @@ This guide gives a step-by-step instruction to setup a developement environment. * Install those plugins: * VIATRA Query and Transformation SDK * VIATRA-DSE framework (Incubation) Developer Resources +* Currently the DOT visualisation is added by a precompiled plugin. (Thanks to https://github.com/kris7t !) Install the following plugin: + * Install *graphviz-java Feature* and *graphviz-java Feature (Sources)* from repository https://kris7t.github.io/graphviz-java-p2/repository/ * Clone the Git repository. * Currently the Alloy Analyser tool need to be added manually. Download alloy4.2_2015-02-22.jar from http://alloy.mit.edu/alloy/downloads/alloy4.2_2015-02-22.jar and place it to the ```hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/``` folder. -- cgit v1.2.3-54-g00ecf