Generating source bundles for inclusion in a target platform configuration

From Event-B
Revision as of 13:37, 26 January 2011 by imported>Nicolas (→‎Configuring)
Jump to navigationJump to search

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

Using Eclipse, ensure that the workspace is in the release revision (no further commits have been done). If this is not the case, switch the workspace into the release revision.

Clean build the workspace.

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. Rename "plugins" into "rodin-x.y-dev" (replace x and y with a version) then make a zip of this directory "rodin-x.y-dev.zip".