3 -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/..
4 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
6 noinst_LTLIBRARIES = libutil.la libutilcudd.la
8 # libutilcudd.la is a separate library so that we can pass separate
10 libutilcudd_la_CPPFLAGS = $(CPPFLAGS) $(AM_CPPFLAGS) @CUDD_CPPFLAGS@
11 libutilcudd_la_LIBADD = @CUDD_LDFLAGS@
13 # Do not list built sources (like integer.h, rational.h, and tls.h) here!
14 # Rather, list them under BUILT_SOURCES, and their .in versions under
15 # EXTRA_DIST. Otherwise, they're packaged up in the tarball, which is
16 # no good---they belong in the configured builds/ directory. If they
17 # end up in the source directory, they build the cvc4 that was
18 # configured at the time of the "make dist", which (1) may not be the
19 # configuration that the user wants, and (2) might cause link errors.
20 libutil_la_SOURCES = \
26 congruence_closure.h \
38 configuration_private.h \
61 boolean_simplification.h \
62 boolean_simplification.cpp
65 @builddir@/libutilcudd.la
66 libutilcudd_la_SOURCES = \
67 propositional_query.h \
68 propositional_query.cpp
76 libutil_la_SOURCES += \
80 libutil_la_SOURCES += \
87 rational_cln_imp.cpp \
90 rational_gmp_imp.cpp \