[antlr3] 08/17: Disable the antlr plugin for the tool module only

[Emmanuel Bourg]

This is an automated email from the git hooks/post-receive script.

ebourg-guest pushed a commit to branch master
in repository antlr3.

commit bde02f100066a1b8b082adc5b8dd64d8a4dee59d
Author: Emmanuel Bourg <ebourg at apache.org>
Date:   Tue Jul 21 20:40:10 2015 +0200

    Disable the antlr plugin for the tool module only
---
 debian/patches/01-ignore-antlr-plugin.patch | 23 +++++++++++++++++++++++
 debian/patches/series                       |  1 +
 2 files changed, 24 insertions(+)

diff --git a/debian/patches/01-ignore-antlr-plugin.patch b/debian/patches/01-ignore-antlr-plugin.patch
new file mode 100644
index 0000000..27d1db2
--- /dev/null
+++ b/debian/patches/01-ignore-antlr-plugin.patch
@@ -0,0 +1,23 @@
+Description: Disable the antlr plugin for the tool module only. The generated source files are already in debian/generated-sources
+Author: Emmanuel Bourg <ebourg at apache.org>
+Forwarded: not-needed
+--- a/tool/pom.xml
++++ b/tool/pom.xml
+@@ -63,7 +63,7 @@
+     <build>
+ 
+         <plugins>
+-
++<!--
+             <plugin>
+                 <groupId>org.antlr</groupId>
+                 <artifactId>antlr3-maven-plugin</artifactId>
+@@ -80,7 +80,7 @@
+                 </executions>
+ 
+             </plugin>
+-
++-->
+         </plugins>
+ 
+ 
diff --git a/debian/patches/series b/debian/patches/series
index e69de29..7bd4240 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -0,0 +1 @@
+01-ignore-antlr-plugin.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/antlr3.git