aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-05 17:59:50 -0500
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-03-05 17:59:50 -0500
commit126481fc4fa06400fd6f42aff3bd59e086189b28 (patch)
tree69a0fb1041bf606403d1dc5c3699c2f219da434d
parentFixed nasty bug with creating root element (diff)
parentUpdate README.md (diff)
downloadVIATRA-Generator-126481fc4fa06400fd6f42aff3bd59e086189b28.tar.gz
VIATRA-Generator-126481fc4fa06400fd6f42aff3bd59e086189b28.tar.zst
VIATRA-Generator-126481fc4fa06400fd6f42aff3bd59e086189b28.zip
Merge branch 'master' of https://github.com/viatra/VIATRA-Generator
-rw-r--r--README.md17
1 files changed, 2 insertions, 15 deletions
diff --git a/README.md b/README.md
index 7e307eab..31f4e4f7 100644
--- a/README.md
+++ b/README.md
@@ -1,18 +1,5 @@
1# VIATRA-Generator 1# VIATRA-Generator
2 2
3## Contributors guide 3For more information visit the [wiki pages](https://github.com/viatra/VIATRA-Generator/wiki).
4This 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 4
5All code in this repository is available under the Eclipse Public License v1.0: http://www.eclipse.org/legal/epl-v10.html