src/theory/rewriterules/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 = librewriterules.la
   7
   8 librewriterules_la_SOURCES = \
   9         theory_rewriterules_rules.h \
  10         theory_rewriterules_rules.cpp \
  11         theory_rewriterules.h \
  12         theory_rewriterules.cpp \
  13         theory_rewriterules_rewriter.h \
  14         theory_rewriterules_type_rules.h \
  15         theory_rewriterules_preprocess.h \
  16         theory_rewriterules_params.h \
  17         rr_inst_match.h \
  18         rr_inst_match_impl.h \
  19         rr_inst_match.cpp \
  20         rr_trigger.h \
  21         rr_trigger.cpp \
  22         rr_candidate_generator.h \
  23         rr_candidate_generator.cpp
  24
  25 EXTRA_DIST = \
  26         kinds