src/printer/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 = libprinter.la
   7
   8 libprinter_la_SOURCES = \
   9         printer.h \
  10         printer.cpp \
  11         dagification_visitor.h \
  12         dagification_visitor.cpp \
  13         ast/ast_printer.h \
  14         ast/ast_printer.cpp \
  15         smt/smt_printer.h \
  16         smt/smt_printer.cpp \
  17         smt2/smt2_printer.h \
  18         smt2/smt2_printer.cpp \
  19         cvc/cvc_printer.h \
  20         cvc/cvc_printer.cpp
  21
  22 EXTRA_DIST =