3 -I@srcdir@/../../include -I@srcdir@/../.. -I@builddir@/../..
4 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
6 noinst_LTLIBRARIES = libarith.la
8 libarith_la_SOURCES = \
9 theory_arith_type_rules.h \
12 arith_static_learner.h \
13 arith_static_learner.cpp \
14 arith_prop_manager.h \
15 arith_prop_manager.cpp \
28 arith_priority_queue.h \
29 arith_priority_queue.cpp \
33 unate_propagator.cpp \