AM_CPPFLAGS = -I$(srcdir)/..
AM_CXXFLAGS = $(WARNING_CXXFLAGS)

lib_LIBRARIES = libltlvisit.a
libltlvisit_a_SOURCES = \
  clone.cc \
  clone.hh \
  dotty.cc \
  dotty.hh \
  dump.cc \
  dump.hh \
  equals.cc \
  equals.hh \
  lunabbrev.hh \
  lunabbrev.cc \
  nenoform.hh \
  nenoform.cc \
  tunabbrev.hh \
  tunabbrev.cc