From 9f259b5ee14ffd6f3fdf7898f0c42f786e2021ad Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 6 Oct 2023 10:32:01 +0200
Subject: [PATCH] Use committed patched ASTPlugin instead of making
build.gradle patch it
---
README.md | 8 +++++++-
build.gradle | 13 -------------
2 files changed, 7 insertions(+), 14 deletions(-)
diff --git a/README.md b/README.md
index f9ad6ee..e78b87b 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,13 @@
This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.
-No original file is changed, but we added:
+Almost all files in this repository are taken unmodified from the [rodincore/org.eventb.core.ast](https://sourceforge.net/p/rodin-b-sharp/rodincore/ci/master/tree/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
diff --git a/build.gradle b/build.gradle
index cf6e978..9034a5e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -33,19 +33,6 @@ task tom() {
) {
include(name: '**/*.t')
}
-
- def plugin_code = """\
-package org.eventb.internal.core.ast;
-
-public class ASTPlugin {
- public static String PLUGIN_ID = "who.cares";
- public static void log(Object who, Object cares) {}
-}
-"""
-
- File f = file('src/org/eventb/internal/core/ast/ASTPlugin.java')
- f.delete()
- f << plugin_code
}
}
--
GitLab