diff options
Diffstat (limited to 'runtime/POSIX/Makefile.cmake.bitcode')
| -rw-r--r-- | runtime/POSIX/Makefile.cmake.bitcode | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/runtime/POSIX/Makefile.cmake.bitcode b/runtime/POSIX/Makefile.cmake.bitcode new file mode 100644 index 00000000..66e250ff --- /dev/null +++ b/runtime/POSIX/Makefile.cmake.bitcode @@ -0,0 +1,15 @@ +#===--------------------------------------------------------*- 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 + +ARCHIVE_NAME=kleeRuntimePOSIX + +include $(LEVEL)/Makefile.cmake.bitcode.rules |