Generating source bundles for inclusion in a target platform configuration

For source plugins to work properly in a target platform configuration, the Ant script export-RodinCore-src-jars.xml found in project org.rodinp.releng should be used.

Configuring

Right click on the export-RodinCore-src-jars.xml file, then "Run As" > "Ant Build..." to edit the launch configuration.

In the "JRE" tab, select "Run in the same JRE as the workspace".

In the "Properties" tab, uncheck the "Use global properties" check box, then add the following properties (by clicking "Add Property..."):

• one for the export destination directory:
  • Name: destination
  • Value: <an absolute path> (example: /tmp/rodin-export)

the directory needs not exist (it will be created if needed)

• one for the SVN revision (used as replacement of the qualifier)
  • Name: SVNrev
  • Value: <the value of the exported SVN revision> (example: 8765)

the revision should be that of exported sources

A directory named "plugins" is created under the destination directory. It contains the rodin plugin jars with embedded sources.