diff options
author | 2017-06-16 01:53:08 +0200 | |
---|---|---|
committer | 2017-06-16 01:53:08 +0200 | |
commit | 5a41e0d779ec41d4ddbaac90f593fe724b566249 (patch) | |
tree | 6dba38b899cad4105ebf4599f32abd96a1f4f091 | |
parent | Divers Generation times are added to statisticsexample scenario (diff) | |
parent | Create README.md (diff) | |
download | VIATRA-Generator-5a41e0d779ec41d4ddbaac90f593fe724b566249.tar.gz VIATRA-Generator-5a41e0d779ec41d4ddbaac90f593fe724b566249.tar.zst VIATRA-Generator-5a41e0d779ec41d4ddbaac90f593fe724b566249.zip |
Merge branch 'master' of https://github.com/viatra/VIATRA-Generator
-rw-r--r-- | README.md | 17 |
1 files changed, 16 insertions, 1 deletions
@@ -1 +1,16 @@ | |||
1 | # VIATRA-Generator \ No newline at end of file | 1 | # VIATRA-Generator |
2 | |||
3 | ## Contributors guide | ||
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 | * 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. | ||
16 | |||