diff options
author | Oszkár Semeráth <semerath@mit.bme.hu> | 2018-03-05 01:16:17 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-05 01:16:17 -0500 |
commit | ae45230009e1e707de3810e42ada3e2903f136e5 (patch) | |
tree | 976adf5d91202e15934efaa39f1925b20399a091 /README.md | |
parent | Default visualisation set to .svg (diff) | |
download | VIATRA-Generator-ae45230009e1e707de3810e42ada3e2903f136e5.tar.gz VIATRA-Generator-ae45230009e1e707de3810e42ada3e2903f136e5.tar.zst VIATRA-Generator-ae45230009e1e707de3810e42ada3e2903f136e5.zip |
moved to developer guide in wiki
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 17 |
1 files changed, 1 insertions, 16 deletions
@@ -1,18 +1,3 @@ | |||
1 | # VIATRA-Generator | 1 | # VIATRA-Generator |
2 | 2 | ||
3 | ## Contributors guide | 3 | More information visit the [wiki pages](https://github.com/viatra/VIATRA-Generator/wiki/VIATRA-Solver). |
4 | This guide gives a step-by-step instruction to setup a developement environment. | ||
5 | * Install Eclipse, choose Eclipse Modeling Tools edition. | ||
6 | * Set the character encoding to UTF8 (*Window > Preferences > Workspace > Text file encoding*). | ||
7 | * Install the newest stable version of the following tools from the Neon Update Site: | ||
8 | * Xtext Complete SDK | ||
9 | * Xtend IDE | ||
10 | * Install the latest version of the VIATRA plugins from the following update site: ```VIATRA - https://hudson.eclipse.org/viatra/job/viatra-master/lastSuccessfulBuild/artifact/releng/org.eclipse.viatra.update/target/repository/``` | ||
11 | * Install those plugins: | ||
12 | * VIATRA Query and Transformation SDK | ||
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/ | ||
16 | * Clone the Git repository. | ||
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. | ||
18 | |||