Remove autotools build system. (#2639)

8 files changed, 0 insertions, 112 deletions

diff --git a/src/prop/bvminisat/Makefile.am b/src/prop/bvminisat/Makefile.am
deleted file mode 100644
index d34a4c12c..000000000
--- a/src/prop/bvminisat/Makefile.am
+++ /dev/null
@@ -1,44 +0,0 @@
-AM_CPPFLAGS = \
-	-D__BUILDING_CVC4LIB \
-	-D __STDC_LIMIT_MACROS \
-	-D __STDC_FORMAT_MACROS \
-	-I@builddir@/../.. -I@srcdir@/../../include -I@srcdir@/ -I@srcdir@/../..
-AM_CXXFLAGS = -Wall -Wno-parentheses -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
-
-noinst_LTLIBRARIES = libbvminisat.la
-libbvminisat_la_SOURCES = \
-	core/Dimacs.h \
-	core/Solver.cc \
-	core/Solver.h \
-	core/SolverTypes.h \
-	simp/SimpSolver.cc \
-	simp/SimpSolver.h \
-	mtl/Alg.h \
-	mtl/Alloc.h \
-	mtl/Heap.h \
-	mtl/IntTypes.h \
-	mtl/Map.h \
-	mtl/Queue.h \
-	mtl/Sort.h \
-	mtl/Vec.h \
-	mtl/XAlloc.h \
-	utils/Options.h \
-	bvminisat.h \
-	bvminisat.cpp
-
-EXTRA_DIST = \
-	core/Main.cc \
-	core/Makefile \
-	doc/ReleaseNotes-2.2.0.txt \
-	simp/Main.cc \
-	simp/Makefile \
-	README \
-	LICENSE \
-	mtl/config.mk \
-	mtl/template.mk \
-	utils/Options.cc \
-	utils/ParseUtils.h \
-	utils/System.h \
-	utils/System.cc \
-	Makefile
-
diff --git a/src/prop/bvminisat/core/Makefile b/src/prop/bvminisat/core/Makefile
deleted file mode 100644
index 5de1f7295..000000000
--- a/src/prop/bvminisat/core/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-EXEC      = minisat
-DEPDIR    = mtl utils
-
-include $(MROOT)/mtl/template.mk
diff --git a/src/prop/bvminisat/simp/Makefile b/src/prop/bvminisat/simp/Makefile
deleted file mode 100644
index 27b45f493..000000000
--- a/src/prop/bvminisat/simp/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-EXEC      = minisat
-DEPDIR    = mtl utils core
-
-include $(MROOT)/mtl/template.mk
diff --git a/src/prop/bvminisat/utils/Makefile b/src/prop/bvminisat/utils/Makefile
deleted file mode 100644
index 204cea541..000000000
--- a/src/prop/bvminisat/utils/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-EXEC      = system_test
-DEPDIR    = mtl
-
-include $(MROOT)/mtl/template.mk
diff --git a/src/prop/minisat/Makefile.am b/src/prop/minisat/Makefile.am
deleted file mode 100644
index 4c110980d..000000000
--- a/src/prop/minisat/Makefile.am
+++ /dev/null
@@ -1,44 +0,0 @@
-AM_CPPFLAGS = \
-	-D__BUILDING_CVC4LIB \
-	-D __STDC_LIMIT_MACROS \
-	-D __STDC_FORMAT_MACROS \
-	-I@builddir@/../.. -I@srcdir@/../../include -I@srcdir@/ -I@srcdir@/../..
-AM_CXXFLAGS = -Wall -Wno-parentheses -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
-
-noinst_LTLIBRARIES = libminisat.la
-libminisat_la_SOURCES = \
-	core/Dimacs.h \
-	core/Solver.cc \
-	core/Solver.h \
-	core/SolverTypes.h \
-	simp/SimpSolver.cc \
-	simp/SimpSolver.h \
-	mtl/Alg.h \
-	mtl/Alloc.h \
-	mtl/Heap.h \
-	mtl/IntTypes.h \
-	mtl/Map.h \
-	mtl/Queue.h \
-	mtl/Sort.h \
-	mtl/Vec.h \
-	mtl/XAlloc.h \
-	utils/Options.h \
-	minisat.cpp \
-	minisat.h
-
-EXTRA_DIST = \
-	core/Main.cc \
-	core/Makefile \
-	doc/ReleaseNotes-2.2.0.txt \
-	simp/Main.cc \
-	simp/Makefile \
-	README \
-	LICENSE \
-	mtl/config.mk \
-	mtl/template.mk \
-	utils/Options.cc \
-	utils/ParseUtils.h \
-	utils/System.h \
-	utils/System.cc \
-	Makefile
-
diff --git a/src/prop/minisat/core/Makefile b/src/prop/minisat/core/Makefile
deleted file mode 100644
index 5de1f7295..000000000
--- a/src/prop/minisat/core/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-EXEC      = minisat
-DEPDIR    = mtl utils
-
-include $(MROOT)/mtl/template.mk
diff --git a/src/prop/minisat/simp/Makefile b/src/prop/minisat/simp/Makefile
deleted file mode 100644
index 27b45f493..000000000
--- a/src/prop/minisat/simp/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-EXEC      = minisat
-DEPDIR    = mtl utils core
-
-include $(MROOT)/mtl/template.mk
diff --git a/src/prop/minisat/utils/Makefile b/src/prop/minisat/utils/Makefile
deleted file mode 100644
index 204cea541..000000000
--- a/src/prop/minisat/utils/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-EXEC      = system_test
-DEPDIR    = mtl
-
-include $(MROOT)/mtl/template.mk