noinst_LIBRARIES = libNA_Theory.a

libNA_Theory_a_CPPFLAGS = \
	-I$(top_srcdir)/src/Utility \
	-I$(top_srcdir)/src/Interface \
	-I$(top_srcdir)/src/Core \
	-I$(top_srcdir)/src/Variable \
	-I$(top_srcdir)/src/FullCompiler

libNA_Theory_a_SOURCES = \
	NA_Symbol.cc \
	NA_Term.cc \
	NA_DagNode.cc \
	NA_LhsAutomaton.cc \
	NA_RhsAutomaton.cc

noinst_HEADERS = \
	NA_DagNode.hh \
	NA_LhsAutomaton.hh \
	NA_RhsAutomaton.hh \
	NA_Symbol.hh \
	NA_Term.hh \
	NA_Theory.hh
