1 2 3 4 5 6
INCLUDES = -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall bin_BINARIES = cvc4 cvc4_SOURCES =