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) | ||
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 | |||
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:
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"
We strongly recommend to install and use the Findbugs plugin. Instructions can be found on the Findbugs Website.
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.