blob: 3f0d0b38145aa50dd28182fb482f148325913441 (
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
|
INCLUDES = -I@srcdir@/include
SUBDIRS = core parser sat
lib_LTLIBRARIES = libcvc4.la
libcvc4_la_LIBADD = \
core/libcore.a
parser/libparser.a
sat/minisat/libminisat.a
EXTRA_DIST = \
include/assert.h \
include/attr_type.h \
include/command.h
include/expr_attribute.h \
include/expr_builder.h \
include/expr.h \
include/expr_manager.h \
include/expr_value.h \
include/kind.h \
include/parser.h \
include/sat.h \
include/unique_id.h \
include/vc.h
|