diff options
author | Oszkár Semeráth <semerath@mit.bme.hu> | 2017-06-10 21:54:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-10 21:54:43 +0200 |
commit | a245545bd9ec2fd858500aa3d180c9ee0f8c0f5e (patch) | |
tree | cec211d4d93e074f8520026aa1eb584fbce83729 /README.md | |
parent | Instruction to install alloy added (diff) | |
download | VIATRA-Generator-a245545bd9ec2fd858500aa3d180c9ee0f8c0f5e.tar.gz VIATRA-Generator-a245545bd9ec2fd858500aa3d180c9ee0f8c0f5e.tar.zst VIATRA-Generator-a245545bd9ec2fd858500aa3d180c9ee0f8c0f5e.zip |
Create README.md
Added Contributors guide instructions
Diffstat (limited to 'README.md')
-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 | |||