diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-28 18:08:34 -0500 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-28 18:08:34 -0500 |
| commit | cfa8b50c9100b205daa8c150fe05acb66bbccea8 (patch) | |
| tree | b1b950af607b75d2ea731fc7957398a234440497 | |
| parent | Grammar update (diff) | |
| parent | updated graphviz dependencies (diff) | |
| download | VIATRA-Generator-cfa8b50c9100b205daa8c150fe05acb66bbccea8.tar.gz VIATRA-Generator-cfa8b50c9100b205daa8c150fe05acb66bbccea8.tar.zst VIATRA-Generator-cfa8b50c9100b205daa8c150fe05acb66bbccea8.zip | |
Merge branch 'master' of https://github.com/viatra/VIATRA-Generator
| -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 | ||