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).
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?
Sylwester
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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?
Sylwester
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.
Moved to github: https://github.com/gnudatalanguage/gdl/issues/45
Closing here.