#39 use stock antlr

open
nobody
None
5
2011-12-27
2011-12-27
bicatali
No

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).

Discussion

  • bicatali
    bicatali
    2011-12-27

    gdl-0.9.2 antlr optional

     
    Attachments
  • 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

     
  • bicatali
    bicatali
    2012-06-20

    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.