From 2b629fab9eb745b329fed10a0d497d5f06fe817b Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 28 Jun 2012 13:16:07 +0200
Subject: [PATCH] added setup info to the readme

---
 README.md | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/README.md b/README.md
index c6f9fc89..583826b9 100644
--- a/README.md
+++ b/README.md
@@ -13,3 +13,28 @@ The ProB binary and source distributions contain the nauty library (http://cs.an
 
 For availability of commercial support, please contact Formal Mind (http://www.formalmind.com).
 
+# Contributing
+
+## Setting up the development environment
+
+- Clone the repository (http://github.com/bendisposto/prob) 
+  We suggest to fork the project on github (see https://help.github.com/articles/fork-a-repo)
+
+- We use gradle to manage the dependencies to the libraries, so you will need gradle installed on your computer. 
+  (see http://www.gradle.org/)
+
+- Open a shell and cd into the de.prob.releng directory
+
+- Run the downloadCli task (gradle downloadCli). This will download the latest nightly build of the Prolog binary.
+
+- Run the collectDependencies task (gradle collectDependencies). This will download the required libraries (such as apache commons, etc.)
+
+- Install Eclipse (Indigo/Juno) for RCP Development
+
+- Import the projects into Eclipse (note that de.prob.releng is not an Eclipse project, it can be left out). At this point Eclipse will show many errors, the reason is that the Target platform (i.e., Rodin hasn't been setup yet)
+
+- Open the file prob_target.target from the de.prob.core project and click on "Set as Target Platform". Grab a coffee. 
+
+
+
+
-- 
GitLab