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
-