diff options
Diffstat (limited to 'runtime/Intrinsic')
| -rw-r--r-- | runtime/Intrinsic/Makefile.cmake.bitcode | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/runtime/Intrinsic/Makefile.cmake.bitcode b/runtime/Intrinsic/Makefile.cmake.bitcode new file mode 100644 index 00000000..654ee020 --- /dev/null +++ b/runtime/Intrinsic/Makefile.cmake.bitcode @@ -0,0 +1,22 @@ +#===--------------------------------------------------------*- Makefile -*--===# +# +# The KLEE Symbolic Virtual Machine +# +# This file is distributed under the University of Illinois Open Source +# License. See LICENSE.TXT for details. +# +#===------------------------------------------------------------------------===# +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 + +include $(LEVEL)/Makefile.cmake.bitcode.rules |