@@ -13,28 +13,23 @@ The ProB binary and source distributions contain the nauty library (http://cs.an
...
@@ -13,28 +13,23 @@ 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
## Setting up the development environment
- Clone the repository (http://github.com/bendisposto/prob)
- 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 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.
- We use gradle to manage the dependencies to the libraries, thus you will need gradle installed on your computer.
(see http://www.gradle.org/)
(see http://www.gradle.org/)
- Open a shell and cd into the de.prob.releng directory
- In the de.prob.releng directory run the downloadCli and collectDependencies tasks (gradle downloadCli collectDependencies). This will download the latest nightly build of the Prolog binary and the required Java libraries (such as apache commons, etc.)
- 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
- 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)
- Import the projects into Eclipse. You can leave out de.prob.releng. At this point Eclipse will complain about 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.
- Open the file prob_target.target from the de.prob.core project and click on "Set as Target Platform". Grab a coffee.
- After the target platform was installed and the workspace has been compiled you can run the project as an Eclipse application (use org.rodinp.platform.product as the product in the run configuration)
