1 2 3 4 5 6 7 8 9 10 11 12
AM_CPPFLAGS = \ -D__BUILDING_CVC4LIB \ -I@srcdir@/../../include -I@srcdir@/../.. AM_CXXFLAGS = -Wall -fvisibility=hidden noinst_LTLIBRARIES = libarrays.la libarrays_la_SOURCES = \ theory_def.h \ theory_arrays.h EXTRA_DIST = kinds