Update the Rodin Platform Base for the Baseline Bundle

Update the Baseline Bundle POM file

• Open ac.soton.rodinp.baseline/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 <bundle-suffix> properties to match the build, e.g., <bundle-suffix>BL2206</bundle-suffix> for June 2020 Baseline Bundle.

Update the Baseline Bundle Rodin.product file

• Open the org.soton.rodinp.baseline/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 Baseline 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-BL2206"
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).