blob: f7d0c01038fac0df7a647942777a48312cf2b435 (
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
|
INCLUDES = -I@srcdir@/include
SUBDIRS = parser sat
lib_LTLIBRARIES = libcvc4.la
libcvc4_la_LIBADD = \
sat/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
|