diff options
Diffstat (limited to 'src/main/Makefile.am')
-rw-r--r-- | src/main/Makefile.am | 85 |
1 files changed, 0 insertions, 85 deletions
diff --git a/src/main/Makefile.am b/src/main/Makefile.am deleted file mode 100644 index 372e817f6..000000000 --- a/src/main/Makefile.am +++ /dev/null @@ -1,85 +0,0 @@ -AM_CPPFLAGS = \ - -D__BUILDING_CVC4DRIVER \ - -I@builddir@/.. $(ANTLR_INCLUDES) -I@srcdir@/../include -I@srcdir@/.. -AM_CXXFLAGS = -Wall -Wno-unknown-pragmas - -bin_PROGRAMS = cvc4 - -noinst_LIBRARIES = libmain.a - -libmain_a_SOURCES = \ - interactive_shell.h \ - interactive_shell.cpp \ - main.h \ - util.cpp - -if CVC4_BUILD_PCVC4 -bin_PROGRAMS += pcvc4 -pcvc4_SOURCES = \ - main.cpp \ - portfolio.cpp \ - portfolio.h \ - portfolio_util.cpp \ - portfolio_util.h \ - command_executor.cpp \ - command_executor_portfolio.cpp \ - command_executor.h \ - command_executor_portfolio.h \ - driver_unified.cpp -pcvc4_LDADD = \ - libmain.a \ - @builddir@/../parser/libcvc4parser.la \ - @builddir@/../libcvc4.la \ - $(READLINE_LIBS) \ - @builddir@/../lib/libreplacements.la - -pcvc4_CPPFLAGS = $(AM_CPPFLAGS) $(BOOST_CPPFLAGS) -DPORTFOLIO_BUILD -pcvc4_LDADD += $(BOOST_THREAD_LIBS) -pcvc4_LDADD += $(BOOST_THREAD_LDFLAGS) - -if STATIC_BINARY -pcvc4_LINK = $(CXXLINK) -all-static $(pcvc4_LDFLAGS) -else -pcvc4_LINK = $(CXXLINK) $(pcvc4_LDFLAGS) -endif -endif - -cvc4_SOURCES = \ - main.cpp \ - command_executor.cpp \ - driver_unified.cpp -cvc4_LDADD = \ - libmain.a \ - @builddir@/../parser/libcvc4parser.la \ - @builddir@/../libcvc4.la \ - $(READLINE_LIBS) \ - @builddir@/../lib/libreplacements.la - -BUILT_SOURCES = \ - $(TOKENS_FILES) - -TOKENS_FILES = \ - cvc_tokens.h \ - smt1_tokens.h \ - smt2_tokens.h \ - tptp_tokens.h - -cvc_tokens.h: @srcdir@/../parser/cvc/Cvc.g - $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@ -smt1_tokens.h: @srcdir@/../parser/smt1/Smt1.g - $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@ -smt2_tokens.h: @srcdir@/../parser/smt2/Smt2.g - $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@ -tptp_tokens.h: @srcdir@/../parser/tptp/Tptp.g - $(AM_V_GEN)grep "'[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*'" $^ | sed 's/.*'\''\([a-zA-Z0-9_-]*\)'\''.*/"\1",/' | sort -u >$@ - - -clean-local: - rm -f $(BUILT_SOURCES) - -if STATIC_BINARY -cvc4_LINK = $(CXXLINK) -all-static $(cvc4_LDFLAGS) -else -cvc4_LINK = $(CXXLINK) $(cvc4_LDFLAGS) -endif - |