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