1noinst_LIBRARIES = libNA_Theory.a
2
3libNA_Theory_a_CPPFLAGS = \
4	-I$(top_srcdir)/src/Utility \
5	-I$(top_srcdir)/src/Interface \
6	-I$(top_srcdir)/src/Core \
7	-I$(top_srcdir)/src/Variable \
8	-I$(top_srcdir)/src/FullCompiler
9
10libNA_Theory_a_SOURCES = \
11	NA_Symbol.cc \
12	NA_Term.cc \
13	NA_DagNode.cc \
14	NA_LhsAutomaton.cc \
15	NA_RhsAutomaton.cc
16
17noinst_HEADERS = \
18	NA_DagNode.hh \
19	NA_LhsAutomaton.hh \
20	NA_RhsAutomaton.hh \
21	NA_Symbol.hh \
22	NA_Term.hh \
23	NA_Theory.hh
24