Skip to content

Building the Project

Jump to bottom
Kassing edited this page Mar 30, 2026 · 1 revision

Let $APROVE be the location of your clone of the aprove-repository and let $PLUGIN be the location of your clone of the aprove-eclipse-repository. There are three different views of the project:

Standalone

This is independent of Eclipse.

Configuration Files

  • $APROVE/build-aprove.xml

Steps

  1. cd $APROVE
  2. ant -f build-aprove.xml dist

Result

  • $APROVE/dist/lib/aprove.jar

Eclipse Plug-in

We have two Eclipse Plug-in, one feature and one updatesite:

  • aprove.core contains aprove itself and is located in the aprove project
  • aprove.gui contains the GUI code and is located in the aprove-gui project
  • aprove.gui.feature contains the aprove.core and aprove.gui plug-ins and is located in the aprove-feature project
  • updatesite is used for the build and is located in the updatesite project

Configuration Files

  • $APROVE/build-aprove.xml
  • $APROVE/build.properties
  • $APROVE/META-INF/MANIFEST.MF
  • $PLUGIN/aprove-gui/build.properties
  • $PLUGIN/aprove-gui/META-INF/MANIFEST.MF
  • $PLUGIN/aprove-feature/feature.xml
  • $PLUGIN/aprove-feature/build.properties
  • $PLUGIN/updatesite/site.xml

Steps

  1. cd $APROVE
  2. ant -f build-aprove.xml prepareForEclipsePluginBuild
  3. In Eclipse: open the project updatesite
  4. In Eclipse: remove the directories features and plugins as well as the files artifacts.jar and content.jar (if they exist)
  5. In Eclipse: open the file site.xml
  6. In Eclipse: switch to the tab Site Map (tabs are at the bottom)
  7. In Eclipse: click Build All

Result

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

Eclipse Development

This describes the view of your Eclipse IDE on the project. Thus, it is not really a build and has no steps and result.

Configuration Files

  • $APROVE/.classpath
  • $APROVE/META-INF/MANIFEST.MF
  • $PLUGIN/aprove-gui/.classpath
  • $PLUGIN/aprove-gui/META-INF/MANIFEST.MF

Clone this wiki locally