AM_CPPFLAGS = -I$(srcdir)/.. AM_CXXFLAGS = $(WARNING_CXXFLAGS) lib_LIBRARIES = libltlvisit.a libltlvisit_a_SOURCES = \ dotty.cc \ dotty.hh \ dump.cc \
dump.hh \ equals.cc \ equals.hh
