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.rules | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'runtime/Makefile.cmake.bitcode.rules') 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