Skip to content
Snippets Groups Projects
Commit 2b629fab authored by Jens Bendisposto's avatar Jens Bendisposto
Browse files

added setup info to the readme

parent 3e39d021
No related branches found
No related tags found
No related merge requests found
...@@ -13,3 +13,28 @@ The ProB binary and source distributions contain the nauty library (http://cs.an ...@@ -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). 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.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment