diff options
Diffstat (limited to 'runtime/Makefile.cmake.bitcode')
| -rw-r--r-- | runtime/Makefile.cmake.bitcode | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/runtime/Makefile.cmake.bitcode b/runtime/Makefile.cmake.bitcode new file mode 100644 index 00000000..94f8a60d --- /dev/null +++ b/runtime/Makefile.cmake.bitcode @@ -0,0 +1,18 @@ +#===--------------------------------------------------------*- 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 + +DIRS += Intrinsic +DIRS += klee-libc +ifneq ($(ENABLE_POSIX_RUNTIME),0) + DIRS += POSIX +endif + +include $(LEVEL)/Makefile.cmake.bitcode.rules |