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.

3 files changed, 0 insertions, 203 deletions

diff --git a/test/Concrete/Makefile b/test/Concrete/Makefile
deleted file mode 100644
index 628ca06b..00000000
--- a/test/Concrete/Makefile
+++ /dev/null
@@ -1,43 +0,0 @@
-LEVEL = ../..
-
-LCCFLAGS  += -O0 -Wall
-LCXXFLAGS += -O0 -Wall
-LLCFLAGS =
-
-clean::
-	-rm -rf Output
-
-# We do not want to make .d files for tests! 
-DISABLE_AUTO_DEPENDENCIES=1
-
-include ${LEVEL}/Makefile.common
-
-Output/%.bc: %.c Output/.dir $(INCLUDES)
-	$(LLVMCC) -emit-llvm $(CPPFLAGS) $(LCCFLAGS) -c $< -o $@
-
-Output/%.bc: %.cpp Output/.dir $(INCLUDES)
-	$(LLVMCXX) -emit-llvm $(CPPFLAGS) $(LCXXFLAGS) -c $< -o $@
-
-Output/%.bc: %.cc $(LCC1XX) Output/.dir $(INCLUDES)
-	$(LLVMCXX) -emit-llvm $(CPPFLAGS) $(LCXXFLAGS) -c $< -o $@
-
-Output/%.bc: %.ll $(LLVMAS) Output/.dir
-	$(LLVMAS) -f $< -o $@
-
-# We build a separate testingUtils bitcode for each test, to make sure parallel
-# tests don't interact with one another.
-Output/%_testingUtils.bc: _testingUtils.c $(LLVMAS) Output/.dir
-	$(LLVMCC) -emit-llvm $(CPPFLAGS) $(LCCFLAGS) -c $< -o $@
-
-Output/linked_%.bc: Output/%.bc Output/%_testingUtils.bc
-	$(LLVMLD) $< Output/$*_testingUtils.bc -o $@
-
-.PRECIOUS: Output/.dir
-
-## Cancel built-in implicit rules that override above rules
-%: %.s
-
-%: %.c
-
-%.o: %.c
-
diff --git a/test/Makefile b/test/Makefile
deleted file mode 100644
index a2d95056..00000000
--- a/test/Makefile
+++ /dev/null
@@ -1,80 +0,0 @@
-#===- test/Makefile ----------------------------------------*- Makefile -*--===#
-# 
-#                     The LLVM Compiler Infrastructure
-#
-# This file was developed by the LLVM research group and is distributed under
-# the University of Illinois Open Source License. See LICENSE.TXT for details.
-# 
-#===------------------------------------------------------------------------===#
-
-LEVEL  = ..
-DIRS   = 
-
-#
-# Make llvm-lit the default for testing
-#
-all:: systemtests-local
-
-# Include other test rules
-include Makefile.tests
-
-#===------------------------------------------------------------------------===#
-# llvm-lit testing support
-#===------------------------------------------------------------------------===#
-ULIMIT = ulimit -t 600 ; ulimit -d 512000 ;
-
-ifdef VERBOSE
-LIT_ARGS := -v
-else
-LIT_ARGS := -s -v
-endif
-
-ifdef TESTSUITE
-LIT_TESTSUITE := $(TESTSUITE)
-else
-LIT_TESTSUITE := .
-endif
-
-# Older LLVM versions don't detect python at configure time
-# so guess the location
-ifndef PYTHON
-        # llvm-lit doesn't work with python3 so force python2
-	PYTHON := python2
-endif
-
-# Potential support in the future for multiple test suites
-LIT_ALL_TESTSUITES := $(LIT_TESTSUITE)
-
-systemtests-local:: lit.site.cfg
-	$(Verb) ( $(ULIMIT) \
-	          $(PYTHON) $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_ALL_TESTSUITES) )
-
-clean::
-	$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name Output -type d -print`
-	$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name 'ft-out*' -type d -print`
-	$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name 'ft-last' -print`
-	$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name 'klee-last'`
-	$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name 'klee-out*'`
-	$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name '*~'`
-	$(RM) -rf `find $(PROJ_OBJ_ROOT)/test -name test.log`
-
-lit.site.cfg: lit.site.cfg.in
-	@echo "Making KLEE 'lit.site.cfg' file..."
-	@sed -e "s#@KLEE_SOURCE_DIR@#$(PROJ_SRC_ROOT)#g" \
-	     -e "s#@KLEE_BINARY_DIR@#$(PROJ_OBJ_ROOT)#g" \
-	     -e "s#@KLEE_TOOLS_DIR@#$(ToolDir)#g" \
-	     -e "s#@LLVM_TOOLS_DIR@#$(LLVMToolDir)#g" \
-	     -e "s#@LLVM_VERSION_MAJOR@#$(LLVM_VERSION_MAJOR)#g" \
-	     -e "s#@LLVM_VERSION_MINOR@#$(LLVM_VERSION_MINOR)#g" \
-	     -e "s#@LLVMCC@#$(KLEE_BITCODE_C_COMPILER) -I$(PROJ_SRC_ROOT)/include#g" \
-	     -e "s#@LLVMCXX@#$(KLEE_BITCODE_CXX_COMPILER) -I$(PROJ_SRC_ROOT)/include#g" \
-	     -e "s#@ENABLE_UCLIBC@#$(ENABLE_UCLIBC)#g" \
-	     -e "s#@ENABLE_POSIX_RUNTIME@#$(ENABLE_POSIX_RUNTIME)#g" \
-	     -e "s#@TARGET_TRIPLE@#$(TARGET_TRIPLE)#g" \
-	     -e "s#@HAVE_SELINUX@#$(HAVE_SELINUX)#g" \
-	     -e "s#@ENABLE_STP@#$(ENABLE_STP)#g" \
-	     -e "s#@ENABLE_Z3@#$(ENABLE_Z3)#g" \
-	     -e "s#@NATIVE_CC@#$(CC) $(CFLAGS) -I$(PROJ_SRC_ROOT)/include#g" \
-	     -e "s#@NATIVE_CXX@#$(CXX) $(CXXFLAGS) -I$(PROJ_SRC_ROOT)/include#g" \
-	     -e "s#@LIB_KLEE_RUN_TEST_PATH@#$(SharedLibDir)/$(SharedPrefix)kleeRuntest$(SHLIBEXT)#g" \
-	     $(PROJ_SRC_DIR)/lit.site.cfg.in > $@
diff --git a/test/Makefile.tests b/test/Makefile.tests
deleted file mode 100644
index ad9f2eab..00000000
--- a/test/Makefile.tests
+++ /dev/null
@@ -1,80 +0,0 @@
-##----------------------------------------------------------*- Makefile -*-===##
-##
-## Common rules for generating, linking, and compiling via LLVM.  This is
-## used to implement a robust testing framework for LLVM
-##
-##-------------------------------------------------------------------------===##
-
-# If the user specified a TEST= option on the command line, we do not want to do
-# the default testing type.  Instead, we change the default target to be the
-# test:: target.
-#
-ifdef TEST
-test::
-endif
-
-# We do not want to make .d files for tests! 
-DISABLE_AUTO_DEPENDENCIES=1
-
-include ${LEVEL}/Makefile.common
-
-# Specify ENABLE_STATS on the command line to enable -stats and -time-passes
-# output from gccas and gccld.
-ifdef ENABLE_STATS
-STATS = -stats -time-passes
-endif
-
-.PHONY: clean default
-
-# These files, which might be intermediate results, should not be deleted by
-# make
-.PRECIOUS: Output/%.bc  Output/%.ll
-.PRECIOUS: Output/%.tbc Output/%.tll
-.PRECIOUS: Output/.dir
-.PRECIOUS: Output/%.llvm.bc
-.PRECIOUS: Output/%.llvm
-
-LCCFLAGS  += -O2 -Wall
-LCXXFLAGS += -O2 -Wall
-LLCFLAGS =
-TESTRUNR = @echo Running test: $<; \
-             PATH="$(LLVMTOOLCURRENT):$(LLVM_SRC_ROOT)/test/Scripts:$(PATH)" \
-                  $(LLVM_SRC_ROOT)/test/TestRunner.sh
-
-LLCLIBS := $(LLCLIBS) -lm
-
-clean::
-	$(RM) -f a.out core
-	$(RM) -rf Output/
-
-# Compile from X.c to Output/X.ll
-Output/%.ll: %.c $(LCC1) Output/.dir $(INCLUDES)
-	-$(LLVMGCCWITHPATH) $(CPPFLAGS) $(LCCFLAGS) -S $< -o $@
-
-# Compile from X.cpp to Output/X.ll
-Output/%.ll: %.cpp $(LCC1XX) Output/.dir $(INCLUDES)
-	-$(LLVMGXXWITHPATH) $(CPPFLAGS) $(LCXXFLAGS) -S $< -o $@
-
-# Compile from X.cc to Output/X.ll
-Output/%.ll: %.cc $(LCC1XX) Output/.dir $(INCLUDES)
-	-$(LLVMGXXWITHPATH) $(CPPFLAGS) $(LCXXFLAGS) -S $< -o $@
-
-# LLVM Assemble from Output/X.ll to Output/X.bc.  Output/X.ll must have come
-# from GCC output, so use GCCAS.
-#
-Output/%.bc: Output/%.ll $(LGCCAS)
-	-$(LGCCAS) $(STATS) $< -o $@
-
-# LLVM Assemble from X.ll to Output/X.bc.  Because we are coming directly from
-# LLVM source, use the non-transforming assembler.
-#
-Output/%.bc: %.ll $(LLVMAS) Output/.dir
-	-$(LLVMAS) -f $< -o $@
-
-## Cancel built-in implicit rules that override above rules
-%: %.s
-
-%: %.c
-
-%.o: %.c
-