Skip to content
  • Alexandre Duret-Lutz's avatar
    Add support for Bison 3.0. · 3c943d83
    Alexandre Duret-Lutz authored
    We still want to remain compatible with Bison 2.7 so instead of fixing
    all the new errors reported by 3.0 we silence some warning.  We should
    fix these for good once Bison 3.0 is more widespread.
    * m4/bison.m4: New file. Test if bison support -Wno-empty-rule and
    -Wno-deprecated.  Define BISON and BISON_EXTRA_FLAGS.
    * Do not test for yacc, use the above test instead.
    * src/dstarparse/, src/eltlparse/,
    src/kripkeparse/, src/ltlparse/,
    src/neverparse/, src/tgbaparse/ Use BISON
    * src/ltlparse/ltlparse.yy: Fix or and remove useless %right/%nonassoc
    * src/eltlparse/eltlparse.yy: Likewise, and remove "%pure-parser".