diff options
Diffstat (limited to 'runtime/Intrinsic/Makefile.cmake.bitcode')
| -rw-r--r-- | runtime/Intrinsic/Makefile.cmake.bitcode | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/runtime/Intrinsic/Makefile.cmake.bitcode b/runtime/Intrinsic/Makefile.cmake.bitcode index 654ee020..77727fb4 100644 --- a/runtime/Intrinsic/Makefile.cmake.bitcode +++ b/runtime/Intrinsic/Makefile.cmake.bitcode @@ -10,13 +10,6 @@ LEVEL := ../ include $(LEVEL)/Makefile.cmake.bitcode.config -LLVMCC.Flags += -fno-builtin - -# FIXME: This is a horrible hack -ifeq ($(USE_MODULE_INSTEAD_OF_BCA),1) - MODULE_NAME=kleeRuntimeIntrinsic -else - ARCHIVE_NAME=kleeRuntimeIntrinsic -endif +ARCHIVE_NAME=kleeRuntimeIntrinsic include $(LEVEL)/Makefile.cmake.bitcode.rules |