blob: 9e31bd7a3947e50295a26eb53fc79dfddc7a356d (
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
AM_CPPFLAGS = \
-D__BUILDING_CVC4LIB \
-I@srcdir@/../include -I@srcdir@/.. -I@builddir@/..
AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
SUBDIRS = builtin booleans uf arith arrays bv datatypes
noinst_LTLIBRARIES = libtheory.la
libtheory_la_SOURCES = \
output_channel.h \
interrupted.h \
theory_engine.h \
theory_engine.cpp \
theory_test_utils.h \
theory.h \
theory.cpp \
shared_term_manager.h \
shared_term_manager.cpp \
shared_data.h \
shared_data.cpp \
registrar.h \
rewriter.h \
rewriter_attributes.h \
rewriter.cpp \
substitutions.h \
substitutions.cpp \
valuation.h \
valuation.cpp
nodist_libtheory_la_SOURCES = \
rewriter_tables.h \
theory_traits.h
libtheory_la_LIBADD = \
@builddir@/builtin/libbuiltin.la \
@builddir@/booleans/libbooleans.la \
@builddir@/uf/libuf.la \
@builddir@/arith/libarith.la \
@builddir@/arrays/libarrays.la \
@builddir@/bv/libbv.la \
@builddir@/datatypes/libdatatypes.la
EXTRA_DIST = \
rewriter_tables_template.h \
theory_traits_template.h \
mktheorytraits \
mkrewriter \
Makefile.subdirs
BUILT_SOURCES = \
rewriter_tables.h \
theory_traits.h
CLEANFILES = \
rewriter_tables.h \
theory_traits.h
include @top_srcdir@/src/theory/Makefile.subdirs
rewriter_tables.h: rewriter_tables_template.h mkrewriter @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
$(AM_V_at)chmod +x @srcdir@/mkrewriter
$(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
$(AM_V_GEN)(@srcdir@/mkrewriter \
$< \
`cat @top_builddir@/src/theory/.subdirs` \
> $@) || (rm -f $@ && exit 1)
theory_traits.h: theory_traits_template.h mktheorytraits @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
$(AM_V_at)chmod +x @srcdir@/mktheorytraits
$(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
$(AM_V_GEN)(@srcdir@/mktheorytraits \
$< \
`cat @top_builddir@/src/theory/.subdirs` \
> $@) || (rm -f $@ && exit 1)
AM_V_CHECK = $(am__v_CHECK_$(V))
am__v_CHECK_ = $(am__v_CHECK_$(AM_DEFAULT_VERBOSITY))
am__v_CHECK_0 = @echo " CHECK " $@;
.PHONY: theory-properties
theory-properties:
$(AM_V_CHECK)@srcdir@/mktheorytraits \
theory_traits_template.h \
`cat @top_builddir@/src/theory/.subdirs` \
> /dev/null
all-local check-local: theory-properties
|
