diff --git a/tool/pom.xml b/tool/pom.xml index e0681cd2f..4da90ec60 100644 --- a/tool/pom.xml +++ b/tool/pom.xml @@ -55,6 +55,33 @@ + + + org.apache.maven.plugins + maven-shade-plugin + 2.0 + false + + + package + + shade + + + true + false + true + true + + + org.antlr.v4.Tool + + + + + + + org.antlr antlr3-maven-plugin