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         type_checker.h \
  20         attribute.h \
  21         attribute_internals.h \
  22         attribute.cpp \
  23         node_manager.cpp \
  24         node_value.cpp \
  25         command.h \
  26         command.cpp \
  27         declaration_scope.h \
  28         declaration_scope.cpp \
  29         expr_manager_scope.h \
  30         node_self_iterator.h \
  31         variable_type_map.h \
  32         pickle_data.h \
  33         pickle_data.cpp \
  34         pickler.h \
  35         pickler.cpp \
  36         node_self_iterator.h \
  37         expr_stream.h \
  38         kind_map.h
  39
  40 nodist_libexpr_la_SOURCES = \
  41         kind.h \
  42         metakind.h \
  43         type_properties.h \
  44         expr.h \
  45         expr.cpp \
  46         expr_manager.h \
  47         expr_manager.cpp \
  48         type_checker.cpp
  49
  50 EXTRA_DIST = \
  51         kind_template.h \
  52         metakind_template.h \
  53         type_properties_template.h \
  54         expr_manager_template.h \
  55         expr_manager_template.cpp \
  56         expr_template.h \
  57         expr_template.cpp \
  58         type_checker_template.cpp \
  59         mkkind \
  60         mkmetakind \
  61         mkexpr \
  62         expr_stream.i \
  63         expr_manager.i \
  64         declaration_scope.i \
  65         command.i \
  66         type.i \
  67         kind.i \
  68         expr.i
  69
  70 BUILT_SOURCES = \
  71         kind.h \
  72         metakind.h \
  73         type_properties.h \
  74         expr.h \
  75         expr.cpp \
  76         expr_manager.h \
  77         expr_manager.cpp \
  78         type_checker.cpp \
  79         $(top_builddir)/src/theory/.subdirs
  80
  81 CLEANFILES = \
  82         kind.h \
  83         metakind.h \
  84         expr.h \
  85         expr.cpp \
  86         expr_manager.h \
  87         expr_manager.cpp \
  88         type_checker.cpp \
  89         type_properties.h \
  90         $(top_builddir)/src/theory/.subdirs
  91
  92 include @top_srcdir@/src/theory/Makefile.subdirs
  93
  94 kind.h: kind_template.h mkkind @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
  95         $(AM_V_at)chmod +x @srcdir@/mkkind
  96         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
  97         $(AM_V_GEN)(@srcdir@/mkkind \
  98                 $< \
  99                 `cat @top_builddir@/src/theory/.subdirs` \
 100         > $@) || (rm -f $@ && exit 1)
 101
 102 metakind.h: metakind_template.h mkmetakind @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 103         $(AM_V_at)chmod +x @srcdir@/mkmetakind
 104         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 105         $(AM_V_GEN)(@srcdir@/mkmetakind \
 106                 $< \
 107                 `cat @top_builddir@/src/theory/.subdirs` \
 108         > $@) || (rm -f $@ && exit 1)
 109
 110 type_properties.h: type_properties_template.h mkkind @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 111         $(AM_V_at)chmod +x @srcdir@/mkkind
 112         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 113         $(AM_V_GEN)(@srcdir@/mkkind \
 114                 $< \
 115                 `cat @top_builddir@/src/theory/.subdirs` \
 116         > $@) || (rm -f $@ && exit 1)
 117
 118 expr.h: expr_template.h mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 119         $(AM_V_at)chmod +x @srcdir@/mkexpr
 120         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 121         $(AM_V_GEN)(@srcdir@/mkexpr \
 122                 $< \
 123                 `cat @top_builddir@/src/theory/.subdirs` \
 124         > $@) || (rm -f $@ && exit 1)
 125
 126 expr.cpp: expr_template.cpp mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 127         $(AM_V_at)chmod +x @srcdir@/mkexpr
 128         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 129         $(AM_V_GEN)(@srcdir@/mkexpr \
 130                 $< \
 131                 `cat @top_builddir@/src/theory/.subdirs` \
 132         > $@) || (rm -f $@ && exit 1)
 133
 134 expr_manager.h: expr_manager_template.h mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 135         $(AM_V_at)chmod +x @srcdir@/mkexpr
 136         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 137         $(AM_V_GEN)(@srcdir@/mkexpr \
 138                 $< \
 139                 `cat @top_builddir@/src/theory/.subdirs` \
 140         > $@) || (rm -f $@ && exit 1)
 141
 142 expr_manager.cpp: expr_manager_template.cpp mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 143         $(AM_V_at)chmod +x @srcdir@/mkexpr
 144         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 145         $(AM_V_GEN)(@srcdir@/mkexpr \
 146                 $< \
 147                 `cat @top_builddir@/src/theory/.subdirs` \
 148         > $@) || (rm -f $@ && exit 1)
 149
 150 type_checker.cpp: type_checker_template.cpp mkexpr @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
 151         $(AM_V_at)chmod +x @srcdir@/mkexpr
 152         $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
 153         $(AM_V_GEN)(@srcdir@/mkexpr \
 154                 $< \
 155                 `cat @top_builddir@/src/theory/.subdirs` \
 156         > $@) || (rm -f $@ && exit 1)