src/expr/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 = libexpr.la
   7
   8 libexpr_la_SOURCES = \
   9         node.h \
  10         node.cpp \
  11         type_node.h \
  12         type_node.cpp \
  13         node_builder.h \
  14         convenience_node_builders.h \
  15         type.h \
  16         type.cpp \
  17         node_value.h \
  18         node_manager.h \
  19         attribute.h \
  20         attribute_internals.h \
  21         attribute.cpp \
  22         node_manager.cpp \
  23         node_value.cpp \
  24         command.h \
  25         command.cpp \
  26         declaration_scope.h \
  27         declaration_scope.cpp \
  28         expr_manager_scope.h \
  29         node_self_iterator.h \
  30         expr_stream.h \
  31         kind_map.h
  32
  33 nodist_libexpr_la_SOURCES = \
  34         kind.h \
  35         metakind.h \
  36         type_properties.h \
  37         expr.h \
  38         expr.cpp \
  39         expr_manager.h \
  40         expr_manager.cpp
  41
  42 EXTRA_DIST = \
  43         kind_template.h \
  44         metakind_template.h \
  45         type_properties_template.h \
  46         expr_manager_template.h \
  47         expr_manager_template.cpp \
  48         expr_template.h \
  49         expr_template.cpp \
  50         mkkind \
  51         mkmetakind \
  52         mkexpr
  53
  54 BUILT_SOURCES = \
  55         kind.h \
  56         metakind.h \
  57         type_properties.h \
  58         expr.h \
  59         expr.cpp \
  60         expr_manager.h \
  61         expr_manager.cpp \
  62         $(top_builddir)/src/theory/.subdirs
  63
  64 CLEANFILES = \
  65         kind.h \
  66         metakind.h \
  67         expr.h \
  68         expr.cpp \
  69         expr_manager.h \
  70         expr_manager.cpp \
  71         $(top_builddir)/src/theory/.subdirs
  72
  73 include @top_srcdir@/src/theory/Makefile.subdirs
  74
  75 kind.h: kind_template.h mkkind @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
  76         $(AM_V_at)chmod +x @srcdir@/mkkind
  77         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
  78         $(AM_V_GEN)(@srcdir@/mkkind \
  79                 $< \
  80                 `cat @top_builddir@/src/theory/.subdirs` \
  81         > $@) || (rm -f $@ && exit 1)
  82
  83 metakind.h: metakind_template.h mkmetakind @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
  84         $(AM_V_at)chmod +x @srcdir@/mkmetakind
  85         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
  86         $(AM_V_GEN)(@srcdir@/mkmetakind \
  87                 $< \
  88                 `cat @top_builddir@/src/theory/.subdirs` \
  89         > $@) || (rm -f $@ && exit 1)
  90
  91 type_properties.h: type_properties_template.h mkkind @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
  92         $(AM_V_at)chmod +x @srcdir@/mkkind
  93         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
  94         $(AM_V_GEN)(@srcdir@/mkkind \
  95                 $< \
  96                 `cat @top_builddir@/src/theory/.subdirs` \
  97         > $@) || (rm -f $@ && exit 1)
  98
  99 expr.h: expr_template.h mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 100         $(AM_V_at)chmod +x @srcdir@/mkexpr
 101         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 102         $(AM_V_GEN)(@srcdir@/mkexpr \
 103                 $< \
 104                 `cat @top_builddir@/src/theory/.subdirs` \
 105         > $@) || (rm -f $@ && exit 1)
 106
 107 expr.cpp: expr_template.cpp mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 108         $(AM_V_at)chmod +x @srcdir@/mkexpr
 109         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 110         $(AM_V_GEN)(@srcdir@/mkexpr \
 111                 $< \
 112                 `cat @top_builddir@/src/theory/.subdirs` \
 113         > $@) || (rm -f $@ && exit 1)
 114
 115 expr_manager.h: expr_manager_template.h mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 116         $(AM_V_at)chmod +x @srcdir@/mkexpr
 117         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 118         $(AM_V_GEN)(@srcdir@/mkexpr \
 119                 $< \
 120                 `cat @top_builddir@/src/theory/.subdirs` \
 121         > $@) || (rm -f $@ && exit 1)
 122
 123 expr_manager.cpp: expr_manager_template.cpp mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 124         $(AM_V_at)chmod +x @srcdir@/mkexpr
 125         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 126         $(AM_V_GEN)(@srcdir@/mkexpr \
 127                 $< \
 128                 `cat @top_builddir@/src/theory/.subdirs` \
 129         > $@) || (rm -f $@ && exit 1)