Skip to content

Update the Rodin Platform Base for the RelEng POM file

Thái Sơn Hoàng edited this page May 24, 2022 · 2 revisions
  • Open ac.soton.rodinp.releng/pom.xml in your favourite editor.

  • Update the rodin-version to match the version of the based Rodin Platform. For 3.7.0, it is 3.7.0.202204290954-46a4e4e99, and the entry is as follows.

    <!-- This should match the based Rodin platform in Rodin.product -->
    <rodin-version>3.7.0.202204290954-46a4e4e99</rodin-version>
  • Update the Eclipse Releases Update Site '' to match the Eclipse version of the Rodin Platform, for example, for Rodin 3.7.0, it is 2021-12 and the entry is as follows.
    <!-- Eclipse Releases Update Site -->
    <repository>
      <id>2021-12</id>
      <layout>p2</layout>
      <url>https://download.eclipse.org/releases/2021-12</url>
    </repository>
Clone this wiki locally