aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorLibravatar Oszkár Semeráth <semerath@mit.bme.hu>2017-06-10 21:54:43 +0200
committerLibravatar GitHub <noreply@github.com>2017-06-10 21:54:43 +0200
commita245545bd9ec2fd858500aa3d180c9ee0f8c0f5e (patch)
treecec211d4d93e074f8520026aa1eb584fbce83729 /README.md
parentInstruction to install alloy added (diff)
downloadVIATRA-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.md17
1 files changed, 16 insertions, 1 deletions
diff --git a/README.md b/README.md
index 43187443..e5d974a8 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,16 @@
1# VIATRA-Generator \ No newline at end of file 1# VIATRA-Generator
2
3## Contributors guide
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* 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