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         attribute.cpp \
  19         @srcdir@/kind.h \
  20         @srcdir@/metakind.h \
  21         node_manager.cpp \
  22         expr_manager.cpp \
  23         node_value.cpp \
  24         expr.cpp \
  25         type.cpp \
  26         command.h \
  27         command.cpp
  28
  29 EXTRA_DIST = \
  30         @srcdir@/kind.h \
  31         @srcdir@/metakind.h \
  32         kind_template.h \
  33         metakind_template.h
  34
  35 @srcdir@/kind.h: mkkind kind_template.h builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds
  36         $(AM_V_at)chmod +x @srcdir@/mkkind
  37         $(AM_V_GEN)(@srcdir@/mkkind \
  38                 @srcdir@/kind_template.h \
  39                 @srcdir@/builtin_kinds \
  40                 `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \
  41         > @srcdir@/kind.h) || (rm -f @srcdir@/kind.h && exit 1)
  42
  43 @srcdir@/metakind.h: mkmetakind metakind_template.h builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds
  44         $(AM_V_at)chmod +x @srcdir@/mkmetakind
  45         $(AM_V_GEN)(@srcdir@/mkmetakind \
  46                 @srcdir@/metakind_template.h \
  47                 @srcdir@/builtin_kinds \
  48                 `grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \
  49         > @srcdir@/metakind.h) || (rm -f @srcdir@/metakind.h && exit 1)
  50
  51 BUILT_SOURCES = @srcdir@/kind.h @srcdir@/metakind.h
  52 dist-hook: @srcdir@/kind.h @srcdir@/metakind.h
  53 MAINTAINERCLEANFILES = @srcdir@/kind.h @srcdir@/metakind.h