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.
---
 runtime/Makefile | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 runtime/Makefile

(limited to 'runtime/Makefile')

diff --git a/runtime/Makefile b/runtime/Makefile
deleted file mode 100644
index 7eb02d3f..00000000
--- a/runtime/Makefile
+++ /dev/null
@@ -1,30 +0,0 @@
-#===-- runtime/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=Intrinsic klee-libc Runtest
-
-include $(LEVEL)/Makefile.config
-
-ifeq ($(ENABLE_POSIX_RUNTIME),1)
-PARALLEL_DIRS += POSIX
-endif
-
-ifeq ($(ENABLE_UCLIBC),1)
-PARALLEL_DIRS += klee-uclibc
-endif
-
-include $(LEVEL)/Makefile.common
-- 
cgit 1.4.1