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