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, 138 deletions

diff --git a/lib/Basic/Makefile b/lib/Basic/Makefile
deleted file mode 100644
index e72399a2..00000000
--- a/lib/Basic/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-#===-- lib/Basic/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=../..
-
-LIBRARYNAME=kleeBasic
-DONT_BUILD_RELINKED=1
-BUILD_ARCHIVE=1
-NO_INSTALL=1
-
-include $(LEVEL)/Makefile.common
diff --git a/lib/Core/Makefile b/lib/Core/Makefile
deleted file mode 100755
index f34f699d..00000000
--- a/lib/Core/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-#===-- lib/Core/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=../..
-
-LIBRARYNAME=kleeCore
-DONT_BUILD_RELINKED=1
-BUILD_ARCHIVE=1
-NO_INSTALL=1
-
-include $(LEVEL)/Makefile.common
diff --git a/lib/Expr/Makefile b/lib/Expr/Makefile
deleted file mode 100644
index 25557600..00000000
--- a/lib/Expr/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-#===-- lib/Expr/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=../..
-
-LIBRARYNAME=kleaverExpr
-DONT_BUILD_RELINKED=1
-BUILD_ARCHIVE=1
-NO_INSTALL=1
-
-include $(LEVEL)/Makefile.common
diff --git a/lib/Makefile b/lib/Makefile
deleted file mode 100644
index ec0d1634..00000000
--- a/lib/Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
-#===-- lib/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=..
-
-PARALLEL_DIRS=Basic Support Expr Solver Module Core
-
-include $(LEVEL)/Makefile.common
diff --git a/lib/Module/Makefile b/lib/Module/Makefile
deleted file mode 100755
index 091a7d45..00000000
--- a/lib/Module/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-#===-- lib/Module/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=../..
-
-LIBRARYNAME=kleeModule
-DONT_BUILD_RELINKED=1
-BUILD_ARCHIVE=1
-NO_INSTALL=1
-
-include $(LEVEL)/Makefile.common
diff --git a/lib/Solver/Makefile b/lib/Solver/Makefile
deleted file mode 100755
index 715f4b2d..00000000
--- a/lib/Solver/Makefile
+++ /dev/null
@@ -1,20 +0,0 @@
-#===-- lib/Solver/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=../..
-
-LIBRARYNAME=kleaverSolver
-DONT_BUILD_RELINKED=1
-BUILD_ARCHIVE=1
-NO_INSTALL=1
-
-include $(LEVEL)/Makefile.common
-
-include $(PROJ_SRC_ROOT)/MetaSMT.mk
-
diff --git a/lib/Support/Makefile b/lib/Support/Makefile
deleted file mode 100644
index ff28b06e..00000000
--- a/lib/Support/Makefile
+++ /dev/null
@@ -1,36 +0,0 @@
-#===-- lib/Support/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=../..
-
-LIBRARYNAME=kleeSupport
-DONT_BUILD_RELINKED=1
-BUILD_ARCHIVE=1
-NO_INSTALL=1
-
-# FIXME: This is nasty. We don't want to rebuild this library everytime
-# but this was the only way I could find to make the build work.
-#
-# Note this rule has to go here so it is run first.
-CompileTimeInfoFile:=../../include/klee/Config/CompileTimeInfo.h
-all-local:: $(CompileTimeInfoFile)
-
-include $(LEVEL)/Makefile.common
-
-
-GIT_PRESENT:=$(shell [ -d "$(PROJ_SRC_ROOT)/.git" ] && echo 1 || echo 0)
-
-.PHONY: $(CompileTimeInfoFile)
-$(CompileTimeInfoFile):
-	$(Verb) echo "Regenerating $(CompileTimeInfoFile)"
-	$(Verb) echo '#define KLEE_BUILD_MODE "$(BuildMode)"' > $(CompileTimeInfoFile)
-ifeq ($(GIT_PRESENT),1)
-	$(Verb) echo '#define KLEE_BUILD_REVISION "'$(shell cd $(PROJ_SRC_ROOT); git rev-parse HEAD)'"' >> \
-	$(CompileTimeInfoFile)
-endif