build script

README.md

+# Rodin B AST
+
+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 this README and the build.gradle.
+
+Note to future Jens:
+After updating the sources the ```gradle patch``` task must be run. This modifies the sources. **Do not run the task multiple times!**

build.gradle

@@ -43,27 +43,27 @@ task tom() << {
 }
 
 task patch() << {
-  def patch_content = """
-  --- rodin-ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:29:24.000000000 +0200
-  +++ rodin-b-sharp-rodincore/org.eventb.core.ast/src/org/eventb/internal/core/parser/SubParsers.java	2015-08-06 12:42:32.000000000 +0200
+  def patch_content = """diff --git a/src/org/eventb/internal/core/parser/SubParsers.java b/src/org/eventb/internal/core/parser/SubParsers.java
+  index e71bf08..0977da1 100644
+  --- a/src/org/eventb/internal/core/parser/SubParsers.java
+  +++ b/src/org/eventb/internal/core/parser/SubParsers.java
   @@ -492,7 +492,7 @@ public class SubParsers {
 
    	};
 
-  -	public static class BoundIdentDeclSubParser extends ValuedNudParser<org.eventb.core.ast.BoundIdentDecl> {
-  +	public static class BoundIdentDeclSubParser extends ValuedNudParser<BoundIdentDecl> {
+  -	public static class BoundIdentDeclSubParser extends ValuedNudParser<BoundIdentDecl> {
+  +	public static class BoundIdentDeclSubParser extends ValuedNudParser<org.eventb.core.ast.BoundIdentDecl> {
 
    		@Override
    		protected int getKind(AbstractGrammar grammar) {
-
 """
   File p = file("SubParsers.patch")
+  p.delete();
   p << patch_content
   ant.patch(patchfile: 'SubParsers.patch', originalfile: 'src/org/eventb/internal/core/parser/SubParsers.java', failonerror:'true' )
 }
 
 
-
 compileJava {
   dependsOn << 'tom'
 }