Skip to content
  • Alexandre Duret-Lutz's avatar
    [lbtt] Adjust parsers to accommodate old and new versions of Automake. · e9e132dd
    Alexandre Duret-Lutz authored
    * src/Config-parse.yy, src/Ltl-parse.yy, src/NeverClaim-parse.yy:
    Rename these as..
    * src/Config-parse.y, src/Ltl-parse.y, src/NeverClaim-parse.y:
    ... these.
    * src/Config-parse_.cc, src/Ltl-parse_.cc,
    src/NeverClaim-parse_.cc: New files to hack around
    incompatibilities between Automake 1.12 and Automake 1.11.
    * src/Makefile.am: Adjust.
    * NEWS: Mention this change.
    e9e132dd