Update the Rodin Platform Base for the Target Bundle

Update the Target Bundle POM file

• Open ac.soton.rodinp.target/pom.xml in your favourite editor.
• Update <version> attribute to match the version of the Rodin Platform using SNAPSHOT suffix, e.g., <version>3.7.0-SNAPSHOT</version> for Rodin 3.7.0.
• Update the '' properties to match the build, e.g., 'TG2206' for June 2020 Target Bundle.

Update the Target Bundle Rodin.product file

• Open the org.soton.rodinp.target/Rodin.product in your favourite editor.

• Update the version of the product to match the latest Rodin version and the bundle suffix. For example, for Rodin 3.7.0 and June 2022 Target Bundle, the product entry is as follows.

<product name="Rodin Platform"
uid="org.rodinp.platform.product"
id="org.rodinp.platform.product"
application="org.eclipse.ui.ide.workbench"
version="3.7.0.202204290954-46a4e4e99-TG2206"
useFeatures="true"
includeLaunchers="true">

• Make sure <configurations> and <launcherArgs> entries are the same as the latest Rodin.product from the RodinCore Git repository. For example, for Rodin 3.7.0, they are as follows.

   <launcherArgs>
      <vmArgs>-Dosgi.requiredJavaVersion=11
-Xms256m
-Xmx1024m
-XX:+UseG1GC
-XX:+UseStringDeduplication
--add-modules=ALL-SYSTEM
      </vmArgs>
   </launcherArgs>

   <configurations>
      <plugin id="org.apache.felix.scr" autoStart="true" startLevel="2" />
      <plugin id="org.eclipse.core.runtime" autoStart="true" startLevel="0" />
      <plugin id="org.eclipse.equinox.common" autoStart="true" startLevel="2" />
      <plugin id="org.eclipse.equinox.event" autoStart="true" startLevel="2" />
      <plugin id="org.eclipse.equinox.p2.reconciler.dropins" autoStart="true" startLevel="4" />
      <plugin id="org.eclipse.equinox.simpleconfigurator" autoStart="true" startLevel="1" />
      <plugin id="org.eclipse.update.configurator" autoStart="false" startLevel="4" />
   </configurations>

• Update the following feature versions using the format x.x.x.qualifier. The latest versions of the features can be found on the corresponding update sites.
  • org.rodinp.platform: The latest version is in the Rodin platform (Rodin Platform Feature) (About Rodin Platform > Installation Details).
  • org.eventb.ide.source: The latest version is in the Rodin platform (Event-B Modeling Environment) (About Rodin Platform > Installation Details).
  • org.rodinp.platform.source: The latest version is in the Rodin platform (Rodin Platform Feature) (About Rodin Platform > Installation Details).
  • org.rodinp.platform.tests.source: The latest version is in the Rodin platform (Rodin Platform Feature) (About Rodin Platform > Installation Details).
  • org.eclipse.sdk: Eclipse 2021-12 - http://download.eclipse.org/releases/2021-12 (Eclipse Project SDK)
  • org.eclipse.egit: Eclipse 2021-12 - http://download.eclipse.org/releases/2021-12 (Git integration for Eclipse)
  • org.eclipse.emf.sdk: Eclipse 2021-12 - http://download.eclipse.org/releases/2021-12 (EMF - Eclipse Modeling Framework SDK)
  • org.eclipse.xtext.sdk: Eclipse 2021-12 - http://download.eclipse.org/releases/2021-12 (Xtext Complete SDK)