Using Rodin as Target Platform
When developing plug-ins for Rodin, it is somewhat cumbersome to have to download all sources from the SVN repository, or to import them in the workspace somehow, just to be able to read them. Using a target platform is a convenient alternative. Moreover, this alternative allows to validate one's plugin against a specific version of the Rodin platform and facilitates regression testing.
Configuring a Target Platform
File to Download
To configure a Rodin release as a target platform, you must first download a
p2 repository of the Rodin platform. It can be downloaded from SourceForge and is named
.
Definition of the Target Platform
Then, in Eclipse, open the Preferences pop-up window by clicking . Then, select {{Menu|Plug-in Development>Target Platform} in the tree, and click : click .
In the Target Definition window that pops up, select {{radio|Nothing: Start with an empty target definition}, then click .
Enter a name for your target platform, for instance
.
Then, click the button of the tab.
In the window that pops up, select , then click . In the new page, titled Add Software Site, click .
In the window that pops up, click {{button|Archive...} and select the repository file you have downloaded (e.g.,
and click {{button|OK} until you are back to the
window. There, untick the checkbox, select in the list and click twice.
Back to the window, select the Rodin platform you have just added to activate it and click .
Complement to the Target Platform
If you plan to run tests with JUnit, you have to add the JUnit plug-in as a complement to your target platform. For that, edit the target platform definition from the Preferences window and select in the window. In the next page, click and select . Then, select the feature from the list and click twice.
