diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-19 14:45:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-19 14:45:42 -0700 |
commit | ce8c429281fd1f7e4ac4d2b7133152c1d370df0c (patch) | |
tree | 407400e728621cc9a5262e7112a93bd6acd0835a /src/main | |
parent | 7de0540252b62080ee9f98617f5718cb1ae08579 (diff) |
Remove autotools build system. (#2639)
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/Makefile | 4 | ||||
-rw-r--r-- | src/main/Makefile.am | 85 |
2 files changed, 0 insertions, 89 deletions
diff --git a/src/main/Makefile b/src/main/Makefile deleted file mode 100644 index 5e936ee06..000000000 --- a/src/main/Makefile +++ /dev/null @@ -1,4 +0,0 @@ -topdir = ../.. -srcdir = src/main - -include $(topdir)/Makefile.subdir 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 - |