[plm] 12/13: use antlr3-runtime-3.2 as jython fails with antlr3-runtime-3.5 (see #796933)

[Martin Quinson]

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

mquinson pushed a commit to branch master
in repository plm.

commit 871377af9ba039a34bb5c7fe25281860f9e76b3d
Author: Martin Quinson <martin.quinson at loria.fr>
Date:   Sat Jan 2 21:44:54 2016 +0100

    use antlr3-runtime-3.2 as jython fails with antlr3-runtime-3.5 (see #796933)
---
 debian/plm.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/plm.sh b/debian/plm.sh
index 30b8a59..617e6e9 100755
--- a/debian/plm.sh
+++ b/debian/plm.sh
@@ -19,7 +19,8 @@ find_java_runtime openjdk7
 
 # Request jython and friends.
 # (I'd like to have it used only if found, but this does not work yet: as we build-dep on jython, jh_build adds it to the depends)
-find_jars jython jruby antlr3-runtime asm3
+find_jars jython jruby antlr3-runtime-3.2 asm3
+# jython fails with antlr3-runtime-3.5 (see #796933)
 
 # For some reason, some people need these jar to be manually loaded. That's annoying, they should be picked automatically instead.
 find_jars commons-logging guava

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