src/expr/Makefile.am

   1 AM_CPPFLAGS = \
   2         -D__BUILDING_CVC4LIB \
   3         -I@srcdir@/../include -I@srcdir@/..
   4 AM_CXXFLAGS = -Wall -fvisibility=hidden
   5
   6 noinst_LTLIBRARIES = libexpr.la
   7
   8 libexpr_la_SOURCES = \
   9         node.h \
  10         node.cpp \
  11         node_builder.h \
  12         expr.h \
  13         type.h \
  14         node_value.h \
  15         node_manager.h \
  16         expr_manager.h \
  17         attribute.h \
  18         @srcdir@/kind.h \
  19         node_builder.cpp \
  20         node_manager.cpp \
  21         expr_manager.cpp \
  22         node_value.cpp \
  23         expr.cpp \
  24         type.cpp \
  25         command.h \
  26         command.cpp
  27
  28 EXTRA_DIST = \
  29         @srcdir@/kind.h \
  30         kind_prologue.h \
  31         kind_middle.h \
  32         kind_epilogue.h
  33
  34 @srcdir@/kind.h: @srcdir@/mkkind kind_prologue.h kind_middle.h kind_epilogue.h @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds
  35         chmod +x @srcdir@/mkkind
  36         (@srcdir@/mkkind \
  37                 @srcdir@/kind_prologue.h \
  38                 @srcdir@/kind_middle.h \
  39                 @srcdir@/kind_epilogue.h \
  40                 @srcdir@/builtin_kinds \
  41                 `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \
  42         > @srcdir@/kind.h) || (rm -f @srcdir@/kind.h && exit 1)
  43
  44 BUILT_SOURCES = @srcdir@/kind.h
  45 dist-hook: @srcdir@/kind.h
  46 MAINTAINERCLEANFILES = @srcdir@/kind.h