src/expr/Makefile.am

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