From fc9f8965bf80cfaa6f5490b3988a22718bb1c5c2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 18 Apr 2003 15:13:18 +0000 Subject: [PATCH] * src/ltlparse/Makefile.am (EXTRA_DIST): Distribute ltlparse.yy. * src/ltlast/Makefile.am (libltlast_a_SOURCES): Add visitor.hh. --- ChangeLog | 5 ++++- src/ltlast/Makefile.am | 3 ++- src/ltlparse/Makefile.am | 2 ++ 3 files changed, 8 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 0340194ef..8f214ce58 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2003-04-18 Alexandre DURET-LUTZ + * src/ltlparse/Makefile.am (EXTRA_DIST): Distribute ltlparse.yy. + * src/ltlast/Makefile.am (libltlast_a_SOURCES): Add visitor.hh. + * src/ltlast/atomic_prop.hh, src/ltlast/binop.hh, src/ltlast/constant.hh, src/ltlast/formula.hh, src/ltlast/multop.hh, src/ltlast/unop.hh, src/ltlast/visitor.hh, @@ -9,7 +12,7 @@ src/ltlvisit/equals.hh, src/ltlvisit/lunabbrev.hh, src/ltlvisit/nenoform.hh, src/ltlvisit/tunabbrev.hh: Add Doxygen comments. - * src/visitor.hh: Do not use const_sel. This clarify + * src/visitor.hh: Do not use const_sel. This clarifies the code and helps Doxygen. * configure.ac: Output doc/Doxyfile and doc/Makefile. diff --git a/src/ltlast/Makefile.am b/src/ltlast/Makefile.am index d9a9de821..99e5ab76a 100644 --- a/src/ltlast/Makefile.am +++ b/src/ltlast/Makefile.am @@ -15,5 +15,6 @@ libltlast_a_SOURCES = \ multop.hh \ predecl.hh \ unop.cc \ - unop.hh + unop.hh \ + visitor.hh diff --git a/src/ltlparse/Makefile.am b/src/ltlparse/Makefile.am index 18b1f4e13..edd2bfc66 100644 --- a/src/ltlparse/Makefile.am +++ b/src/ltlparse/Makefile.am @@ -20,6 +20,8 @@ $(FROM_LTLPARSE_YY_MAIN): $(srcdir)/$(LTLPARSE_YY) $(FROM_LTLPARSE_YY_OTHERS): $(LTLPARSE_YY) @test -f $@ || $(MAKE) $(AM_MAKEFLAGS) $(FROM_LTLPARSE_YY_MAIN) +EXTRA_DIST = $(LTLPARSE_YY) + libltlparse_a_SOURCES = \ fmterror.cc \ $(FROM_LTLPARSE_YY) \