Getting Involved: Difference between revisions

Revision as of 18:14, 16 May 2012

This page describes how to set up a development environment for ProB.

Downloading

Please download a fresh Eclipse Indigo (3.7) for RCP Developer. We will assume that you work with a fresh copy of Eclipse in the following description. After downloading unzip it to a folder of your choice (just in case: avoid spaces inside the path).

Setup

Beside the default Eclipse, we recommend to tweak the eclipse.ini file to improve performance. In particular you should increase the size of heap space! You should not use a value greater than your physical memory.

-XX:MaxPermSize=512M
-Xms512m
-Xmx2048m

Checkout sources

The sources are available using git from https://github.com/bendisposto/prob

Content of the repository

If you want to develop within the Rodin tool, you need de.bmotionstudio.gef.editor, de.bmotionstudio.rodin, de.prob.core, de.prob.plugin, de.prob.ui and maybe the feature de.prob2.feature.

de.bmotionstudio.gef.editor: BMotion Studio sources
de.bmotionstudio.rodin: Rodin UI bindings for BMotion Studio
de.prob.core: ProB Core plug-in (contins the Prolog binaries for all supported platforms)
de.prob.plugin: Rodin UI bindings
de.prob.ui: GUI
de.prob2.feature: The feature for the Rodin Plug-in version

Setup target platform

Within the de.prob.core plug-in you can find a target definition file (prob_target.target). Open that file within Eclipse and click on set as target platform (upper right corner).

The Prolog Sources

If you want to contribute to the Prolog part of ProB, if you want to extend the ProB API, or need them as reference, you need the Prolog sources which can be downloaded from http://nightly.cobra.cs.uni-duesseldorf.de/source/ . To compile the sources you need a SICStus Prolog licence.

The Parser Library

The source code is located at https://github.com/bendisposto/probparsers.

Use a recent version of gradle for building. If you don't have gradle installed, you can use gradlew (gradlew.bat) script to build the parsers.

Probably you want to build the single-executable-all-batteries-included jar file that is also deployed with the ProB release. This is done using

./gradlew uberjar

It creates a jar file in the directory build/libs.

You can also consume our binary builds using maven. Our repository is located at http://cobra.cs.uni-duesseldorf.de/artifactory/.

@@ Line 39: / Line 39: @@
 The source code is located at [https://github.com/bendisposto/probparsers https://github.com/bendisposto/probparsers].
-Use gradle 1.0 Milestone 6 for building. If you don't have gradle installed, you can use gradlew (gradlew.bat) script to build the parsers.
+Use a recent version of gradle for building. If you don't have gradle installed, you can use gradlew (gradlew.bat) script to build the parsers.
 Probably you want to build the single-executable-all-batteries-included jar file that is also deployed with the ProB release. This is done using  <pre>./gradlew uberjar</pre> It creates a jar file in the directory build/libs.
 You can also consume our binary builds using maven. Our repository is located at [http://cobra.cs.uni-duesseldorf.de/artifactory/ http://cobra.cs.uni-duesseldorf.de/artifactory/].