1 2 3 4 5 6 7 8 9
INCLUDES = -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall -fvisibility=hidden bin_PROGRAMS = cvc4 cvc4_SOURCES = \ main.cpp \ getopt.cpp \ util.cpp