src/expr/Makefile.am

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