Getting Involved: Difference between revisions

Revision as of 11:13, 9 July 2010

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-Instructions: http://subclipse.tigris.org/servlets/ProjectProcess?pageID=p4wYuA).
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).
Alternatively you can use subversive.

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.

@@ Line 7: / Line 7: @@
 == Setup ==
 Beside the default Eclipse, we require some additional plug-ins for Development:
-# Subclipse 1.6.x (Install-Instructions: [http://subclipse.tigris.org/servlets/ProjectProcess?pageID=p4wYuA http://subclipse.tigris.org/servlets/ProjectProcess?pageID=p4wYuA]). If at some point you receive errors complaining 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]).<br>Alternatively you can use subversive.
+# Subclipse 1.6.x (Install-Instructions: [http://subclipse.tigris.org/servlets/ProjectProcess?pageID=p4wYuA http://subclipse.tigris.org/servlets/ProjectProcess?pageID=p4wYuA]). <br>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]).<br>Alternatively you can use subversive.
 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.