blob: a36819e5c32a15f68cb179761af683a682f7c25a (
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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
SUBDIRS = . java
AM_CPPFLAGS = \
-I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
AM_CXXFLAGS = -Wall
AM_CFLAGS = -Wall
noinst_PROGRAMS = \
bitvectors \
bitvectors-new \
bitvectors_and_arrays \
bitvectors_and_arrays-new \
combination \
combination-new \
datatypes \
datatypes-new \
extract \
extract-new \
helloworld \
helloworld-new \
linear_arith \
linear_arith-new \
sets \
sets-new \
strings \
strings-new
noinst_DATA =
bitvectors_SOURCES = \
bitvectors.cpp
bitvectors_LDADD = \
@builddir@/../../src/libcvc4.la
bitvectors_new_SOURCES = \
bitvectors-new.cpp
bitvectors_new_LDADD = \
@builddir@/../../src/libcvc4.la
bitvectors_and_arrays_SOURCES = \
bitvectors_and_arrays.cpp
bitvectors_and_arrays_LDADD = \
@builddir@/../../src/libcvc4.la
bitvectors_and_arrays_new_SOURCES = \
bitvectors_and_arrays-new.cpp
bitvectors_and_arrays_new_LDADD = \
@builddir@/../../src/libcvc4.la
combination_SOURCES = \
combination.cpp
combination_LDADD = \
@builddir@/../../src/libcvc4.la
combination_new_SOURCES = \
combination-new.cpp
combination_new_LDADD = \
@builddir@/../../src/libcvc4.la
datatypes_SOURCES = \
datatypes.cpp
datatypes_LDADD = \
@builddir@/../../src/libcvc4.la
datatypes_new_SOURCES = \
datatypes-new.cpp
datatypes_new_LDADD = \
@builddir@/../../src/libcvc4.la
extract_SOURCES = \
extract.cpp
extract_LDADD = \
@builddir@/../../src/libcvc4.la
extract_new_SOURCES = \
extract-new.cpp
extract_new_LDADD = \
@builddir@/../../src/libcvc4.la
helloworld_SOURCES = \
helloworld.cpp
helloworld_LDADD = \
@builddir@/../../src/libcvc4.la
helloworld_new_SOURCES = \
helloworld-new.cpp
helloworld_new_LDADD = \
@builddir@/../../src/libcvc4.la
linear_arith_SOURCES = \
linear_arith.cpp
linear_arith_LDADD = \
@builddir@/../../src/libcvc4.la
linear_arith_new_SOURCES = \
linear_arith-new.cpp
linear_arith_new_LDADD = \
@builddir@/../../src/libcvc4.la
sets_SOURCES = \
sets.cpp
sets_LDADD = \
@builddir@/../../src/libcvc4.la
sets_new_SOURCES = \
sets-new.cpp
sets_new_LDADD = \
@builddir@/../../src/libcvc4.la
strings_SOURCES = \
strings.cpp
strings_LDADD = \
@builddir@/../../src/libcvc4.la
strings_new_SOURCES = \
strings-new.cpp
strings_new_LDADD = \
@builddir@/../../src/libcvc4.la
# for installation
examplesdir = $(docdir)/$(subdir)
examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)
|