This page describes how to set up a development environment for ProB.
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.
Setup
Beside the default Eclipse, we require some additional plug-ins for Development:
- Subclipse 1.6.x
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). You can also use subversive from the Helios update site (but in this description we will assume you use subclipse).
- blah
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.