From be4260c83711fa4efe6588a7dfe43fa721ca9b8b Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 21 Jul 2017 16:30:41 +0100
Subject: 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.
---
 tools/ktest-tool/Makefile | 50 -----------------------------------------------
 1 file changed, 50 deletions(-)
 delete mode 100644 tools/ktest-tool/Makefile

(limited to 'tools/ktest-tool')

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
-- 
cgit 1.4.1