src/theory/arith/Makefile.am

   1 AM_CPPFLAGS = \
   2         -D__BUILDING_CVC4LIB \
   3         -I@srcdir@/../../include -I@srcdir@/../.. -I@builddir@/../..
   4 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
   5
   6 noinst_LTLIBRARIES = libarith.la
   7
   8 libarith_la_SOURCES = \
   9         theory_arith_type_rules.h \
  10         arith_rewriter.h \
  11         arith_rewriter.cpp \
  12         arith_static_learner.h \
  13         arith_static_learner.cpp \
  14         arith_prop_manager.h \
  15         arith_prop_manager.cpp \
  16         arithvar_node_map.h \
  17         normal_form.h\
  18         normal_form.cpp \
  19         arith_utilities.h \
  20         delta_rational.h \
  21         delta_rational.cpp \
  22         partial_model.h \
  23         partial_model.cpp \
  24         ordered_set.h \
  25         arithvar_set.h \
  26         tableau.h \
  27         tableau.cpp \
  28         arith_priority_queue.h \
  29         arith_priority_queue.cpp \
  30         simplex.h \
  31         simplex.cpp \
  32         unate_propagator.h \
  33         unate_propagator.cpp \
  34         theory_arith.h \
  35         theory_arith.cpp
  36
  37 EXTRA_DIST = \
  38         kinds