Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • 3.8.0
  • 3.7.0
  • 3.6.0
  • 3.5.0
  • 3.4.0
  • 3.3.0
  • 3.2.1
  • 3.2.0
9 results

rodin_eventb_ast

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    dgelessus authored
    19e06003
    History

    Rodin B AST

    This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.

    Almost all files in this repository are taken unmodified from the rodincore/org.eventb.core.ast project. Only two files from the original sources have been modified:

    • .gitignore
    • src/org/eventb/internal/core/ast/ASTPlugin.java

    We also added the following files to support the Maven Central build/upload process:

    • .gitlab-ci.yml
    • README.md
    • build.gradle
    • gradle
    • gradlew
    • gradlew.bat
    • gradle.properties.enc
    • pubring.gpg.enc
    • secring.gpg.enc
    • settings.gradle
    • update_sources.sh

    How to update this project to a new Rodin version

    First, remove any local changes in your clone of this repo, to avoid possible conflicts or other issues:

    $ git restore --staged --worktree . # DELETES ALL LOCAL CHANGES!

    In a different directory, clone the rodincore repo (if you haven't already):

    $ cd /some/work/directory
    $ git clone "https://git.code.sf.net/p/rodin-b-sharp/rodincore" rodin-b-sharp-rodincore
    $ cd rodin-b-sharp-rodincore

    Check out the desired Rodin release, for example:

    $ git switch --detach RodinCore/3.3

    In this repo, run the update_sources.sh script and pass the path of the source org.eventb.core.ast project:

    $ cd .../rodin_eventb_ast
    $ ./update_sources.sh /some/work/directory/rodin-b-sharp-rodincore/org.eventb.core.ast

    Update the version number in build.gradle to the appropriate version with a SNAPSHOT suffix, for example:

    project.version = "3.3.0-SNAPSHOT"

    Add the version change and commit and push everything:

    $ git add build.gradle
    $ git commit -m "Update to Rodin 3.3 sources"
    $ git push

    Once you have confirmed that the new snapshot works, you can remove the -SNAPSHOT suffix and make a proper release to Maven Central.