Patch to use optionally the bundled version of antlr in gdl. In Gentoo we turn it off and remove the sources to use the system one (which includes a lot of useful patches).
gdl-0.9.2 antlr optional
Thanks for the patch!
Correct me if I'm wrong, but a proper use of a non-bundled ANTLR would require regenerating all the ANTLR-generated files within the GDL tree? That is doing something like:
$ cd gdl/src
$ for i in *.g; do antlr $i; done;
with the same version of antlr as the system-installed library?
I think you are right, it makes sense to have consistency between generated files and antlr version. It looks the patch is applied in some linux distros with re-generation.