2 -D__BUILDING_CVC4DRIVER \
3 -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. $(ANTLR_INCLUDES)
4 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas
8 noinst_LIBRARIES = libmain.a
12 interactive_shell.cpp \
24 command_executor.cpp \
25 command_executor_portfolio.cpp \
27 command_executor_portfolio.h \
31 @builddir@/../parser/libcvc4parser.la \
32 @builddir@/../libcvc4.la \
33 @builddir@/../util/libstatistics.la \
34 @builddir@/../lib/libreplacements.la \
36 pcvc4_CPPFLAGS = $(AM_CPPFLAGS) $(BOOST_CPPFLAGS) -DPORTFOLIO_BUILD
37 pcvc4_LDADD += $(BOOST_THREAD_LIBS) -lpthread
38 pcvc4_LDADD += $(BOOST_THREAD_LDFLAGS)
41 pcvc4_LINK = $(CXXLINK) -all-static
43 pcvc4_LINK = $(CXXLINK)
49 command_executor.cpp \
53 @builddir@/../parser/libcvc4parser.la \
54 @builddir@/../libcvc4.la \
55 @builddir@/../util/libstatistics.la \
56 @builddir@/../lib/libreplacements.la \
68 cvc_tokens.h: @srcdir@/../parser/cvc/Cvc.g
69 $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@
70 smt_tokens.h: @srcdir@/../parser/smt/Smt.g
71 $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@
72 smt2_tokens.h: @srcdir@/../parser/smt2/Smt2.g
73 $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@
74 tptp_tokens.h: @srcdir@/../parser/tptp/Tptp.g
75 $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@
81 rm -f $(BUILT_SOURCES)
84 cvc4_LINK = $(CXXLINK) -all-static
86 cvc4_LINK = $(CXXLINK)