diff options
| author |  Oszkár Semeráth <semerath@mit.bme.hu> | 2018-02-28 13:21:34 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-02-28 13:21:34 -0500 |
| commit | f848ccf39fe574710f478911bc0cc93c0744bba4 (patch) | |
| tree | a588c2f6ba620a70e5f1f4e63b3aa2fc99e606c7 /README.md | |
| parent | Viatra Solver support for tasks with no partial model (diff) | |
| download | VIATRA-Generator-f848ccf39fe574710f478911bc0cc93c0744bba4.tar.gz VIATRA-Generator-f848ccf39fe574710f478911bc0cc93c0744bba4.tar.zst VIATRA-Generator-f848ccf39fe574710f478911bc0cc93c0744bba4.zip | |
updated graphviz dependencies
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
| @@ -11,6 +11,8 @@ This guide gives a step-by-step instruction to setup a developement environment. | |||
| 11 | * Install those plugins: | 11 | * Install those plugins: |
| 12 | * VIATRA Query and Transformation SDK | 12 | * VIATRA Query and Transformation SDK |
| 13 | * VIATRA-DSE framework (Incubation) Developer Resources | 13 | * VIATRA-DSE framework (Incubation) Developer Resources |
| 14 | * Currently the DOT visualisation is added by a precompiled plugin. (Thanks to https://github.com/kris7t !) Install the following plugin: | ||
| 15 | * Install *graphviz-java Feature* and *graphviz-java Feature (Sources)* from repository https://kris7t.github.io/graphviz-java-p2/repository/ | ||
| 14 | * Clone the Git repository. | 16 | * Clone the Git repository. |
| 15 | * 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. | 17 | * 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. |
| 16 | 18 | ||