1 files changed, 0 insertions, 34 deletions
diff --git a/runtime/klee-libc/Makefile b/runtime/klee-libc/Makefile
deleted file mode 100755
index d059ba8a..00000000
--- a/runtime/klee-libc/Makefile
+++ /dev/null
@@ -1,34 +0,0 @@
-#===-- runtime/klee-libc/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=../..
-
-# Needed for LLVM version
-include $(LEVEL)/Makefile.config
-
-ifeq ($(shell python -c "print($(LLVM_VERSION_MAJOR).$(LLVM_VERSION_MINOR) >= 3.3)"), True)
-# For these versions of LLVM KLEE expects klee-libc to be a LLVM module rather than an archive
-MODULE_NAME=klee-libc
-else
-# KLEE built against older versions of LLVM expect a library archive instead
-BYTECODE_LIBRARY=1
-LIBRARYNAME=klee-libc
-endif
-
-#DONT_BUILD_RELINKED=1
-# Don't strip debug info from the module.
-DEBUG_RUNTIME=1
-#NO_PEDANTIC=1
-NO_BUILD_ARCHIVE=1
-
-# Add __NO_INLINE__ to prevent glibc from using inline definitions of some
-# builtins.
-C.Flags += -D__NO_INLINE__
-
-include $(LEVEL)/Makefile.common