diff --git a/ChangeLog b/ChangeLog index 54a5d585b..13a16b17d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2008-03-28 Alexandre Duret-Lutz + + * src/evtgbaparse/Makefile.am (AM_CXXFLAGS): Remove -Werror + so we tolerate more flex versions. + * src/ltlparse/Makefile.am (AM_CXXFLAGS): Likewise. + * src/tgbaparse/Makefile.am (AM_CXXFLAGS): Likewise. + 2008-03-25 Alexandre Duret-Lutz * src/misc/hash.hh: Second thinko in #if/#else. diff --git a/src/evtgbaparse/Makefile.am b/src/evtgbaparse/Makefile.am index 29eb88ef8..d92b2fb9d 100644 --- a/src/evtgbaparse/Makefile.am +++ b/src/evtgbaparse/Makefile.am @@ -1,6 +1,6 @@ -## Copyright (C) 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2004, 2006, 2008 Laboratoire d'Informatique de Paris 6 +## (LIP6), département Systèmes Répartis Coopératifs (SRC), Université +## Pierre et Marie Curie. ## ## This file is part of Spot, a model checking library. ## @@ -20,7 +20,8 @@ ## 02111-1307, USA. AM_CPPFLAGS = -I$(srcdir)/.. $(BUDDY_CPPFLAGS) -AM_CXXFLAGS = $(WARNING_CXXFLAGS) +# Disable -Werror because too many versions of flex yield warnings. +AM_CXXFLAGS = $(WARNING_CXXFLAGS:-Werror=) evtgbaparsedir = $(pkgincludedir)/evtgbaparse diff --git a/src/ltlparse/Makefile.am b/src/ltlparse/Makefile.am index 37ace9e97..7692f1ede 100644 --- a/src/ltlparse/Makefile.am +++ b/src/ltlparse/Makefile.am @@ -1,6 +1,6 @@ -## Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2003, 2004, 2008 Laboratoire d'Informatique de Paris +## 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +## Université Pierre et Marie Curie. ## ## This file is part of Spot, a model checking library. ## @@ -20,7 +20,8 @@ ## 02111-1307, USA. AM_CPPFLAGS = -I$(srcdir)/.. -AM_CXXFLAGS = $(WARNING_CXXFLAGS) +# Disable -Werror because too many versions of flex yield warnings. +AM_CXXFLAGS = $(WARNING_CXXFLAGS:-Werror=) ltlparsedir = $(pkgincludedir)/ltlparse diff --git a/src/tgbaparse/Makefile.am b/src/tgbaparse/Makefile.am index d2bc3cb84..495c2a253 100644 --- a/src/tgbaparse/Makefile.am +++ b/src/tgbaparse/Makefile.am @@ -1,6 +1,6 @@ -## Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6), -## département Systèmes Répartis Coopératifs (SRC), Université Pierre -## et Marie Curie. +## Copyright (C) 2003, 2004, 2006, 2008 Laboratoire d'Informatique de +## Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +## Université Pierre et Marie Curie. ## ## This file is part of Spot, a model checking library. ## @@ -20,7 +20,8 @@ ## 02111-1307, USA. AM_CPPFLAGS = -I$(srcdir)/.. $(BUDDY_CPPFLAGS) -AM_CXXFLAGS = $(WARNING_CXXFLAGS) +# Disable -Werror because too many versions of flex yield warnings. +AM_CXXFLAGS = $(WARNING_CXXFLAGS:-Werror=) tgbaparsedir = $(pkgincludedir)/tgbaparse