From 9293a3b584a8249ec8846e9200699e46e22a887c Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Fri, 2 Dec 2016 14:44:19 +0100 Subject: CMake: support LLVMCC.ExtraFlags With the old buildsystem we could pass CFLAGS when building runtime libs. Support passing some additional flags to cmake-based system too. We need this to build 32 and 64bit runtime libs separately (but not whole klee). Signed-off-by: Jiri Slaby --- runtime/Makefile.cmake.bitcode.config.in | 2 +- runtime/Makefile.cmake.bitcode.rules | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) (limited to 'runtime') diff --git a/runtime/Makefile.cmake.bitcode.config.in b/runtime/Makefile.cmake.bitcode.config.in index 9d31e907..c554265f 100644 --- a/runtime/Makefile.cmake.bitcode.config.in +++ b/runtime/Makefile.cmake.bitcode.config.in @@ -41,7 +41,7 @@ MKDIR := mkdir RM := rm # Compiler flags -LLVMCC.Flags += \ +LLVMCC.Flags += $(LLVMCC.ExtraFlags) \ -I@CMAKE_SOURCE_DIR@/include \ -I@CMAKE_BINARY_DIR@/include \ -emit-llvm \ diff --git a/runtime/Makefile.cmake.bitcode.rules b/runtime/Makefile.cmake.bitcode.rules index 85151e2f..27abde54 100644 --- a/runtime/Makefile.cmake.bitcode.rules +++ b/runtime/Makefile.cmake.bitcode.rules @@ -154,7 +154,8 @@ debug_vars: @echo "IS_RELEASE := $(IS_RELEASE)" @echo "LOCAL_BUILD_DIR := $(LOCAL_BUILD_DIR)" @echo "LLVMCC := $(LLVMCC)" - @echo "LLVMCC.Flag := $(LLVMCC.Flags)" + @echo "LLVMCC.Flags := $(LLVMCC.Flags)" + @echo "LLVMCC.ExtraFlags := $(LLVMCC.ExtraFlags)" @echo "LLVMCC.Warnings := $(LLVMCC.Warnings)" @echo "MODULE_FILE := $(MODULE_FILE)" @echo "ROOT_OBJ := $(ROOT_OBJ)" -- cgit 1.4.1