Generating source bundles for inclusion in a target platform configuration

From Event-B
Revision as of 15:40, 20 April 2010 by imported>Nicolas (New page: For source plugins to work properly in a target platform configuration, the Ant script ''export-RodinCore-src-jars.xml'' found in project ''org.rodinp.re...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

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.