1 2 3 4 5 6 7 8 9 10
INCLUDES = -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall -fvisibility=hidden AM_CPPFLAGS = -D__BUILDING_CVC4LIB #noinst_LTLIBRARIES = libtheory.la #libtheory_la_LIBADD = # @builddir@/uf/libuf.la #SUBDIRS = uf