Remove Autoconf/Makefile build system and adjust the TravisCI

configuration, TravisCI scripts and Dockerfile build appropriately.

There are a bunch of clean ups this enables but this commit doesn't
attempt them. We can do that in future commits.

7 files changed, 0 insertions, 236 deletions

diff --git a/tools/Makefile b/tools/Makefile
deleted file mode 100644
index 64b50042..00000000
--- a/tools/Makefile
+++ /dev/null
@@ -1,26 +0,0 @@
-#===-- tools/Makefile --------------------------------------*- Makefile -*--===#
-#
-#                     The KLEE Symbolic Virtual Machine
-#
-# This file is distributed under the University of Illinois Open Source
-# License. See LICENSE.TXT for details.
-#
-#===------------------------------------------------------------------------===#
-
-#
-# Relative path to the top of the source tree.
-#
-LEVEL=..
-
-#
-# List all of the subdirectories that we will compile.
-#
-PARALLEL_DIRS=klee kleaver ktest-tool gen-random-bout klee-stats
-
-include $(LEVEL)/Makefile.config
-
-ifeq ($(ENABLE_POSIX_RUNTIME),1)
-PARALLEL_DIRS += klee-replay
-endif
-
-include $(LEVEL)/Makefile.common
diff --git a/tools/gen-random-bout/Makefile b/tools/gen-random-bout/Makefile
deleted file mode 100644
index 5e1d8cf3..00000000
--- a/tools/gen-random-bout/Makefile
+++ /dev/null
@@ -1,8 +0,0 @@
-##===- tools/klee/Makefile ---------------*- Makefile -*-===##
-
-LEVEL=../..
-TOOLNAME = gen-random-bout
-USEDLIBS = kleeBasic.a
-NO_INSTALL=1
-
-include $(LEVEL)/Makefile.common
diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile
deleted file mode 100644
index a2250fe0..00000000
--- a/tools/kleaver/Makefile
+++ /dev/null
@@ -1,38 +0,0 @@
-#===-- tools/kleaver/Makefile ------------------------------*- Makefile -*--===#
-#
-#                     The KLEE Symbolic Virtual Machine
-#
-# This file is distributed under the University of Illinois Open Source
-# License. See LICENSE.TXT for details.
-#
-#===------------------------------------------------------------------------===#
-
-LEVEL=../..
-TOOLNAME = kleaver
-
-include $(LEVEL)/Makefile.config
-
-# FIXME: Ideally we wouldn't have any LLVM dependencies here, which
-# means kicking out klee's Support.
-USEDLIBS = kleeBasic.a kleaverSolver.a kleaverExpr.a kleeSupport.a 
-LINK_COMPONENTS = support
-
-include $(LEVEL)/Makefile.common
-
-ifneq ($(ENABLE_STP),0)
-  LIBS += $(STP_LDFLAGS)
-endif
-
-ifneq ($(ENABLE_Z3),0)
-  LIBS += $(Z3_LDFLAGS)
-endif
-
-include $(PROJ_SRC_ROOT)/MetaSMT.mk
-
-ifeq ($(HAVE_TCMALLOC),1)
-  LIBS += $(TCMALLOC_LIB)
-endif
-
-ifeq ($(HAVE_ZLIB),1)
-  LIBS += -lz
-endif
diff --git a/tools/klee-replay/Makefile b/tools/klee-replay/Makefile
deleted file mode 100644
index e97fc7ff..00000000
--- a/tools/klee-replay/Makefile
+++ /dev/null
@@ -1,19 +0,0 @@
-#===-- tools/klee-replay/Makefile --------------------------*- Makefile -*--===#
-#
-#                     The KLEE Symbolic Virtual Machine
-#
-# This file is distributed under the University of Illinois Open Source
-# License. See LICENSE.TXT for details.
-#
-#===------------------------------------------------------------------------===#
-
-LEVEL=../..
-TOOLNAME = klee-replay
-
-USEDLIBS = kleeBasic.a
-LINK_COMPONENTS = 
-NO_PEDANTIC=1
-
-include $(LEVEL)/Makefile.common
-
-LIBS += -lutil -lcap
diff --git a/tools/klee-stats/Makefile b/tools/klee-stats/Makefile
deleted file mode 100644
index 219d41da..00000000
--- a/tools/klee-stats/Makefile
+++ /dev/null
@@ -1,50 +0,0 @@
-#===-- tools/klee-stats/Makefile -----------------------*- Makefile -*--===#
-#
-#                     The KLEE Symbolic Virtual Machine
-#
-# This file is distributed under the University of Illinois Open Source
-# License. See LICENSE.TXT for details.
-#
-#===------------------------------------------------------------------------===#
-
-LEVEL = ../..
-
-TOOLSCRIPTNAME := klee-stats
-
-# Hack to prevent install trying to strip
-# symbols from a python script
-KEEP_SYMBOLS := 1
-
-include $(LEVEL)/Makefile.common
-
-# FIXME: Move this stuff (to "build" a script) into Makefile.rules.
-
-ToolBuildPath := $(ToolDir)/$(TOOLSCRIPTNAME)
-
-all-local:: $(ToolBuildPath)
-
-$(ToolBuildPath): $(ToolDir)/.dir
-
-$(ToolBuildPath): $(PROJ_SRC_DIR)/$(TOOLSCRIPTNAME)
-	$(Echo) Copying $(BuildMode) script $(TOOLSCRIPTNAME)
-	$(Verb) $(CP) -f $(PROJ_SRC_DIR)/$(TOOLSCRIPTNAME) "$@"
-	$(Verb) chmod 0755 "$@"
-
-ifdef NO_INSTALL
-install-local::
-	$(Echo) Install circumvented with NO_INSTALL
-uninstall-local::
-	$(Echo) Uninstall circumvented with NO_INSTALL
-else
-DestTool = $(DESTDIR)$(PROJ_bindir)/$(TOOLSCRIPTNAME)
-
-install-local:: $(DestTool)
-
-$(DestTool): $(ToolBuildPath) $(DESTDIR)$(PROJ_bindir)
-	$(Echo) Installing $(BuildMode) $(DestTool)
-	$(Verb) $(ProgInstall) $(ToolBuildPath) $(DestTool)
-
-uninstall-local::
-	$(Echo) Uninstalling $(BuildMode) $(DestTool)
-	-$(Verb) $(RM) -f $(DestTool)
-endif
diff --git a/tools/klee/Makefile b/tools/klee/Makefile
deleted file mode 100644
index 2930427c..00000000
--- a/tools/klee/Makefile
+++ /dev/null
@@ -1,45 +0,0 @@
-#===-- tools/klee/Makefile ---------------------------------*- Makefile -*--===#
-#
-#                     The KLEE Symbolic Virtual Machine
-#
-# This file is distributed under the University of Illinois Open Source
-# License. See LICENSE.TXT for details.
-#
-#===------------------------------------------------------------------------===#
-
-LEVEL=../..
-TOOLNAME = klee
-
-include $(LEVEL)/Makefile.config
-
-USEDLIBS = kleeCore.a kleeBasic.a kleeModule.a  kleaverSolver.a kleaverExpr.a kleeSupport.a 
-LINK_COMPONENTS = bitreader bitwriter ipo linker engine
-
-ifeq ($(shell python -c "print($(LLVM_VERSION_MAJOR).$(LLVM_VERSION_MINOR) >= 3.6)"), True)
-LINK_COMPONENTS += mcjit
-else
-LINK_COMPONENTS += jit
-endif
-
-ifeq ($(shell python -c "print($(LLVM_VERSION_MAJOR).$(LLVM_VERSION_MINOR) >= 3.3)"), True)
-LINK_COMPONENTS += irreader
-endif
-include $(LEVEL)/Makefile.common
-
-ifneq ($(ENABLE_STP),0)
-  LIBS += $(STP_LDFLAGS)
-endif
-
-ifneq ($(ENABLE_Z3),0)
-  LIBS += $(Z3_LDFLAGS)
-endif
-
-include $(PROJ_SRC_ROOT)/MetaSMT.mk
-
-ifeq ($(HAVE_TCMALLOC),1)
-  LIBS += $(TCMALLOC_LIB)
-endif
-
-ifeq ($(HAVE_ZLIB),1)
-  LIBS += -lz
-endif
diff --git a/tools/ktest-tool/Makefile b/tools/ktest-tool/Makefile
deleted file mode 100644
index dcf74736..00000000
--- a/tools/ktest-tool/Makefile
+++ /dev/null
@@ -1,50 +0,0 @@
-#===-- tools/ktest-tool/Makefile -----------------------*- Makefile -*--===#
-#
-#                     The KLEE Symbolic Virtual Machine
-#
-# This file is distributed under the University of Illinois Open Source
-# License. See LICENSE.TXT for details.
-#
-#===------------------------------------------------------------------------===#
-
-LEVEL = ../..
-
-TOOLSCRIPTNAME := ktest-tool
-
-# Hack to prevent install trying to strip
-# symbols from a python script
-KEEP_SYMBOLS := 1
-
-include $(LEVEL)/Makefile.common
-
-# FIXME: Move this stuff (to "build" a script) into Makefile.rules.
-
-ToolBuildPath := $(ToolDir)/$(TOOLSCRIPTNAME)
-
-all-local:: $(ToolBuildPath)
-
-$(ToolBuildPath): $(ToolDir)/.dir
-
-$(ToolBuildPath): $(PROJ_SRC_DIR)/$(TOOLSCRIPTNAME)
-	$(Echo) Copying $(BuildMode) script $(TOOLSCRIPTNAME)
-	$(Verb) $(CP) -f $(PROJ_SRC_DIR)/$(TOOLSCRIPTNAME) "$@"
-	$(Verb) chmod 0755 "$@"
-
-ifdef NO_INSTALL
-install-local::
-	$(Echo) Install circumvented with NO_INSTALL
-uninstall-local::
-	$(Echo) Uninstall circumvented with NO_INSTALL
-else
-DestTool = $(DESTDIR)$(PROJ_bindir)/$(TOOLSCRIPTNAME)
-
-install-local:: $(DestTool)
-
-$(DestTool): $(ToolBuildPath) $(DESTDIR)$(PROJ_bindir)
-	$(Echo) Installing $(BuildMode) $(DestTool)
-	$(Verb) $(ProgInstall) $(ToolBuildPath) $(DestTool)
-
-uninstall-local::
-	$(Echo) Uninstalling $(BuildMode) $(DestTool)
-	-$(Verb) $(RM) -f $(DestTool)
-endif