src/expr/Makefile.am

   1 INCLUDES = -I@srcdir@/../include -I@srcdir@/..
   2 AM_CXXFLAGS = -Wall -fvisibility=hidden
   3 AM_CPPFLAGS = -D__BUILDING_CVC4LIB
   4
   5 noinst_LTLIBRARIES = libexpr.la
   6
   7 libexpr_la_SOURCES = \
   8         attr_type.h \
   9         attr_var_name.h \
  10         node.h \
  11         node_builder.h \
  12         expr_value.h \
  13         node_manager.h \
  14         node_attribute.h \
  15         kind.h \
  16         node.cpp \
  17         node_builder.cpp \
  18         node_manager.cpp \
  19         expr_value.cpp