From 9a1769fe782f7d566673e8e315bc70d707e9d0dd Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 15 Apr 2010 10:59:26 +0200 Subject: [PATCH] * HACKING: Bison 2.4.2 has a bugfix we rely on. --- ChangeLog | 4 ++++ HACKING | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index bd705b0d4..dbdfd48ad 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2010-04-15 Alexandre Duret-Lutz + + * HACKING: Bison 2.4.2 has a bugfix we rely on. + 2010-04-15 Alexandre Duret-Lutz * src/tgbatest/ltl2tgba.cc (syntax): Add missing black line in diff --git a/HACKING b/HACKING index 118e4c293..3c53adf4b 100644 --- a/HACKING +++ b/HACKING @@ -12,8 +12,8 @@ generally if you plan to regenerate some of the generated files. GNU Autoconf >= 2.61 GNU Automake >= 1.11 GNU Libtool >= 2.2 - GNU Flex (the version seems to matters, we used 2.5.31) - GNU Bison >= 2.4 + GNU Flex (the version seems to matters, we used 2.5.35) + GNU Bison >= 2.4.2 SWIG >= 1.3.31 Doxygen >= 1.4.0