Alexandre Duret-Lutz 3c943d836a Add support for Bison 3.0. ... 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. * configure.ac: Do not test for yacc, use the above test instead. * src/dstarparse/Makefile.am, src/eltlparse/Makefile.am, src/kripkeparse/Makefile.am, src/ltlparse/Makefile.am, src/neverparse/Makefile.am, src/tgbaparse/Makefile.am: Use BISON and BISON_EXTRA_FLAGS. * src/ltlparse/ltlparse.yy: Fix or and remove useless %right/%nonassoc settings. * src/eltlparse/eltlparse.yy: Likewise, and remove "%pure-parser".		2013-09-30 20:32:15 +02:00
..
.gitignore	more files to ignore	2010-12-07 18:34:32 +01:00
fmterror.cc	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
Makefile.am	Add support for Bison 3.0.	2013-09-30 20:32:15 +02:00
neverclaimparse.yy	Use the same location.hh and position.hh in all parsers.	2013-07-29 01:14:34 +02:00
neverclaimscan.ll	neverparse: accept more unparenthesised guards	2013-07-26 12:04:45 +02:00
parsedecl.hh	Use the same location.hh and position.hh in all parsers.	2013-07-29 01:14:34 +02:00
public.hh	Use -fvisibility=hidden for all parsers.	2013-07-29 01:14:36 +02:00