alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* HACKING: Bison 2.4.2 has a bugfix we rely on.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2010-04-15 10:59:26 +02:00
parent 70669c99ed
commit 9a1769fe78
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2010-04-15 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* HACKING: Bison 2.4.2 has a bugfix we rely on.
2010-04-15 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2010-04-15 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbatest/ltl2tgba.cc (syntax): Add missing black line in * src/tgbatest/ltl2tgba.cc (syntax): Add missing black line in

4
HACKING
View file

@ -12,8 +12,8 @@ generally if you plan to regenerate some of the generated files.
GNU Autoconf >= 2.61 GNU Autoconf >= 2.61
GNU Automake >= 1.11 GNU Automake >= 1.11
GNU Libtool >= 2.2 GNU Libtool >= 2.2
GNU Flex (the version seems to matters, we used 2.5.31) GNU Flex (the version seems to matters, we used 2.5.35)
GNU Bison >= 2.4 GNU Bison >= 2.4.2
SWIG >= 1.3.31 SWIG >= 1.3.31
Doxygen >= 1.4.0 Doxygen >= 1.4.0