No edit summary |
No edit summary |
||
Line 8: | Line 8: | ||
Beside the default Eclipse, we require some additional plug-ins for Development: | Beside the default Eclipse, we require some additional plug-ins for Development: | ||
# '''Subclipse 1.6.x'''<br> Install the Subclipse plugin, comprehensive instructions for installations are availiable from the http://subclipse.tigris.org/servlets/ProjectProcess?pageID=p4wYuA Subclipse Website]. If at some point you receive errors about a missing JavaHL you can switch to the SVNKit Interface in Preferences | Team | SVN or you can install JavaHL (Instructions [http://subclipse.tigris.org/wiki/JavaHL http://subclipse.tigris.org/wiki/JavaHL]). You can also use subversive from the Helios update site (but in this description we will assume you use subclipse). | # '''Subclipse 1.6.x'''<br> Install the Subclipse plugin, comprehensive instructions for installations are availiable from the http://subclipse.tigris.org/servlets/ProjectProcess?pageID=p4wYuA Subclipse Website]. If at some point you receive errors about a missing JavaHL you can switch to the SVNKit Interface in Preferences | Team | SVN or you can install JavaHL (Instructions [http://subclipse.tigris.org/wiki/JavaHL http://subclipse.tigris.org/wiki/JavaHL]). You can also use subversive from the Helios update site (but in this description we will assume you use subclipse). | ||
# Graphical Editing Framework (GEF) | # '''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" | ||
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 | |||
We strongly recommend to install and use the Findbugs plugin. Instructions can be found on the [http://findbugs.cs.umd.edu/eclipse/ Findbugs Website]. | |||
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.
Beside the default Eclipse, we require some additional plug-ins for Development:
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.