No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
== Downloading == | == Downloading == | ||
Please download a fresh Eclipse Helios (3.6) 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 | Please download a fresh Eclipse Helios (3.6) 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 == | == Setup == | ||
Line 10: | Line 10: | ||
# '''Graphical Editing Framework (GEF)'''<br>GEF can be obtained from the Helios update site. Open the Plugin_installation Facility (Help | Install New Software), select the Helios Update site and search for GEF. You maight have to uncheck "Group items by category" | # '''Graphical Editing Framework (GEF)'''<br>GEF can be obtained from the Helios update site. Open the Plugin_installation Facility (Help | Install New Software), select the Helios Update site and search for GEF. You maight have to uncheck "Group items by category" | ||
# '''Findbugs'''<br>We strongly recommend to install and use the Findbugs plugin. Instructions can be found on the [http://findbugs.cs.umd.edu/eclipse/ Findbugs Website]. | # '''Findbugs'''<br>We strongly recommend to install and use the Findbugs plugin. Instructions can be found on the [http://findbugs.cs.umd.edu/eclipse/ Findbugs Website]. | ||
Also you can tweak the eclipse.ini file to improve performance. In particular you should increase the size of heap space! You should not use a value grater than your physical memory. | |||
-XX:MaxPermSize=256m | |||
-Xms512m | |||
-Xmx2048m | |||
I use the following additional parameters (no guarantee that the actually help): | |||
-Xss1M | |||
-server | |||
-XX:+DoEscapeAnalysis | |||
-XX:+UseConcMarkSweepGC | |||
-XX:PermSize=256M | |||
-XX:MaxPermSize=512M | |||
We have prepared an [[Media:ProB_complete.psf|Eclipse Team Set]] that contains all subprojects, i.e. ProB core, B-Motion Studio, AnimationScript, Disprover and the standalone Version. It also includes the Rodin release used for ProB. | We have prepared an [[Media:ProB_complete.psf|Eclipse Team Set]] that contains all subprojects, i.e. ProB core, B-Motion Studio, AnimationScript, Disprover and the standalone Version. It also includes the Rodin release used for ProB. |
This page describes how to set up a development environment for ProB.
Please download a fresh Eclipse Helios (3.6) 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).
Beside the default Eclipse, we require some additional plug-ins for Development:
Also you can tweak the eclipse.ini file to improve performance. In particular you should increase the size of heap space! You should not use a value grater than your physical memory.
-XX:MaxPermSize=256m -Xms512m -Xmx2048m
I use the following additional parameters (no guarantee that the actually help):
-Xss1M -server -XX:+DoEscapeAnalysis -XX:+UseConcMarkSweepGC -XX:PermSize=256M -XX:MaxPermSize=512M
We have prepared an Eclipse Team Set that contains all subprojects, i.e. ProB core, B-Motion Studio, AnimationScript, Disprover and the standalone Version. It also includes the Rodin release used for ProB.