Releasing the Eclipse Plug in

This will publicly release a new version of the Eclipse Plug-in. Let $APROVE be the location of your clone of the aprove-repository, let $PLUGIN be the location of your clone of the aprove-eclipse-repository, and let $UPDATE be the location of your clone of the aprove-eclipse-updatesite-repository.

1. Increase Version Numbers

   aprove.core plug-in version needs to be increased in

   • $APROVE/META-INF/MANIFEST.MF
   • $PLUGIN/aprove-feature/feature.xml

   aprove.gui plug-in version needs to be increased in

   • $PLUGIN/aprove-gui/META-INF/MANIFEST.MF
   • $PLUGIN/aprove-feature/feature.xml

   aprove.gui.feature feature version needs to be increased in

   • $PLUGIN/aprove-feature/feature.xml
   • $PLUGIN/updatesite/site.xml

2. Build the updatesite as described in Building the Project

3. Remove the current updatesite

   Remove the following files and folders:

   • $UPDATE/features/
   • $UPDATE/plugins/
   • $UPDATE/artifacts.jar
   • $UPDATE/content.jar

4. Copy the Result

   Copy the following files and folders to $UPDATE

   • $PLUGIN/updatesite/features/
   • $PLUGIN/updatesite/plugins/
   • $PLUGIN/updatesite/artifacts.jar
   • $PLUGIN/updatesite/content.jar

5. Commit and Push

   cd $UPDATE
   git commit -a -m "new release"
   git push
   

6. Check

   Make sure the new release is published at:

   https://aprove-developers.github.io/aprove-eclipse-updatesite/

   To do so, download https://aprove-developers.github.io/aprove-eclipse-updatesite/artifacts.jar and check the version numbers.