From 6803c37be83f0c97c95870a18cb230e135a131c9 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Tue, 15 May 2018 15:10:16 +0100 Subject: Reorganise runtime libraries provided by KLEE Strictly differentiate between the following type of libraries: * FreeStanding: contains minimal amount of methods a compiler would expect * klee-libc: contains a minimal libc implementation * POSIX: contains a POSIX layer that can be used on top of a libc implementation * Intrinsic: contains additional runtime functions which provide KLEE-specific functionalities, (e.g. checks) Builds always archives instead of single modules. This allows to reduce linked-in dependencies of tested applications. --- runtime/klee-libc/Makefile.cmake.bitcode | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'runtime/klee-libc/Makefile.cmake.bitcode') diff --git a/runtime/klee-libc/Makefile.cmake.bitcode b/runtime/klee-libc/Makefile.cmake.bitcode index 6e85952c..9902e558 100644 --- a/runtime/klee-libc/Makefile.cmake.bitcode +++ b/runtime/klee-libc/Makefile.cmake.bitcode @@ -14,11 +14,6 @@ include $(LEVEL)/Makefile.cmake.bitcode.config # of builtins LLVMCC.Flags += -D__NO_INLINE__ -# FIXME: This is a horrible hack -ifeq ($(USE_MODULE_INSTEAD_OF_BCA),1) - MODULE_NAME=klee-libc -else - ARCHIVE_NAME=klee-libc -endif +ARCHIVE_NAME=klee-libc include $(LEVEL)/Makefile.cmake.bitcode.rules -- cgit 1.4.1