1 files changed, 0 insertions, 111 deletions
diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am
deleted file mode 100644
index 860075aa8..000000000
--- a/src/theory/Makefile.am
+++ /dev/null
@@ -1,111 +0,0 @@
-AM_CPPFLAGS = \
-	-D__BUILDING_CVC4LIB \
-	-I@builddir@/.. -I@srcdir@/../include -I@srcdir@/..
-AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
-
-SUBDIRS = builtin booleans uf arith bv arrays datatypes quantifiers rewriterules idl strings
-DIST_SUBDIRS = $(SUBDIRS) example
-
-noinst_LTLIBRARIES = libtheory.la
-
-libtheory_la_SOURCES = \
-	decision_attributes.h \
-	logic_info.h \
-	logic_info.cpp \
-	output_channel.h \
-	interrupted.h \
-	type_enumerator.h \
-	theory_engine.h \
-	theory_engine.cpp \
-	theory_test_utils.h \
-	theory.h \
-	theory.cpp \
-	theoryof_mode.h \
-	theory_registrar.h \
-	rewriter.h \
-	rewriter_attributes.h \
-	rewriter.cpp \
-	substitutions.h \
-	substitutions.cpp \
-	valuation.h \
-	valuation.cpp \
-	shared_terms_database.h \
-	shared_terms_database.cpp \
-	term_registration_visitor.h \
-	term_registration_visitor.cpp \
-	ite_simplifier.h \
-	ite_simplifier.cpp \
-	unconstrained_simplifier.h \
-	unconstrained_simplifier.cpp \
-	quantifiers_engine.h \
-	quantifiers_engine.cpp \
-	model.h \
-	model.cpp \
-	rep_set.h \
-	rep_set.cpp \
-	atom_requests.h \
-	atom_requests.cpp
-
-nodist_libtheory_la_SOURCES = \
-	rewriter_tables.h \
-	theory_traits.h \
-	type_enumerator.cpp
-
-libtheory_la_LIBADD = \
-	@builddir@/builtin/libbuiltin.la \
-	@builddir@/booleans/libbooleans.la \
-	@builddir@/uf/libuf.la \
-	@builddir@/arith/libarith.la \
-	@builddir@/arrays/libarrays.la \
-	@builddir@/bv/libbv.la \
-	@builddir@/datatypes/libdatatypes.la \
-	@builddir@/quantifiers/libquantifiers.la \
-	@builddir@/rewriterules/librewriterules.la \
-	@builddir@/idl/libidl.la \
-	@builddir@/strings/libstrings.la
-
-EXTRA_DIST = \
-	logic_info.i \
-	options_handlers.h \
-	rewriter_tables_template.h \
-	theory_traits_template.h \
-	type_enumerator_template.cpp \
-	mktheorytraits \
-	mkrewriter \
-	Makefile.subdirs
-
-BUILT_SOURCES = \
-	rewriter_tables.h \
-	theory_traits.h \
-	type_enumerator.cpp
-
-CLEANFILES = \
-	rewriter_tables.h \
-	theory_traits.h \
-	type_enumerator.cpp
-
-include @top_srcdir@/src/theory/Makefile.subdirs
-
-rewriter_tables.h: rewriter_tables_template.h mkrewriter @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
-	$(AM_V_at)chmod +x @srcdir@/mkrewriter
-	$(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
-	$(AM_V_GEN)(@srcdir@/mkrewriter \
-		$< \
-		`cat @top_builddir@/src/theory/.subdirs` \
-	> $@) || (rm -f $@ && exit 1)
-
-theory_traits.h: theory_traits_template.h mktheorytraits @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
-	$(AM_V_at)chmod +x @srcdir@/mktheorytraits
-	$(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
-	$(AM_V_GEN)(@srcdir@/mktheorytraits \
-		$< \
-		`cat @top_builddir@/src/theory/.subdirs` \
-	> $@) || (rm -f $@ && exit 1)
-
-type_enumerator.cpp: type_enumerator_template.cpp mktheorytraits @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds
-	$(AM_V_at)chmod +x @srcdir@/mktheorytraits
-	$(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true
-	$(AM_V_GEN)(@srcdir@/mktheorytraits \
-		$< \
-		`cat @top_builddir@/src/theory/.subdirs` \
-	> $@) || (rm -f $@ && exit 1)