blob: bd02cf452e84d5e67d8dd7f2f7a2f3867bdf112d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
AM_CPPFLAGS = \
-D__BUILDING_CVC4LIB \
-I@srcdir@/../include -I@srcdir@/..
AM_CXXFLAGS = -Wall -fvisibility=hidden
noinst_LTLIBRARIES = libexpr.la
libexpr_la_SOURCES = \
node.h \
node.cpp \
node_builder.h \
expr.h \
type.h \
node_value.h \
node_manager.h \
expr_manager.h \
attribute.h \
@srcdir@/kind.h \
node_builder.cpp \
node_manager.cpp \
expr_manager.cpp \
node_value.cpp \
expr.cpp \
type.cpp \
command.h \
command.cpp
EXTRA_DIST = \
@srcdir@/kind.h \
kind_prologue.h \
kind_middle.h \
kind_epilogue.h
@srcdir@/kind.h: mkkind kind_prologue.h kind_middle.h kind_epilogue.h builtin_kinds @top_srcdir@/src/theory/Makefile.in @top_srcdir@/src/theory/*/kinds
chmod +x @srcdir@/mkkind
(@srcdir@/mkkind \
@srcdir@/kind_prologue.h \
@srcdir@/kind_middle.h \
@srcdir@/kind_epilogue.h \
@srcdir@/builtin_kinds \
`grep '^SUBDIRS = ' @top_srcdir@/src/theory/Makefile.in | cut -d' ' -f3- | tr ' ' "\n" | xargs -i__D__ echo @top_srcdir@/src/theory/__D__/kinds` \
> @srcdir@/kind.h) || (rm -f @srcdir@/kind.h && exit 1)
BUILT_SOURCES = @srcdir@/kind.h
dist-hook: @srcdir@/kind.h
MAINTAINERCLEANFILES = @srcdir@/kind.h
|
