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_builder.h \
  11         expr.h \
  12         type.h \
  13         node_value.h \
  14         node_manager.h \
  15         expr_manager.h \
  16         attribute.h \
  17         @srcdir@/kind.h \
  18         node.cpp \
  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 = @srcdir@/kind.h kind_prologue.h kind_middle.h kind_epilogue.h
  29
  30 @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
  31         chmod +x @srcdir@/mkkind
  32         (@srcdir@/mkkind \
  33                 @srcdir@/kind_prologue.h \
  34                 @srcdir@/kind_middle.h \
  35                 @srcdir@/kind_epilogue.h \
  36                 @srcdir@/builtin_kinds \
  37                 `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \
  38         > @srcdir@/kind.h) || (rm -f @srcdir@/kind.h && exit 1)
  39
  40 BUILT_SOURCES = @srcdir@/kind.h
  41 dist-hook: @srcdir@/kind.h
  42 MAINTAINERCLEANFILES = @srcdir@/kind.h