diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-05-15 15:10:16 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-04 15:13:02 +0100 |
| commit | 6803c37be83f0c97c95870a18cb230e135a131c9 (patch) | |
| tree | e42ae967f248014aa392ac1a985fc5a39203c789 /runtime/FreeStanding/Makefile.cmake.bitcode | |
| parent | b25705f4d9cfdb4a7f9ecc4565cb31623f7bd38d (diff) | |
| download | klee-6803c37be83f0c97c95870a18cb230e135a131c9.tar.gz | |
Reorganise runtime libraries provided by KLEE
Strictly differentiate between the following type of libraries: * FreeStanding: contains minimal amount of methods a compiler would expect * klee-libc: contains a minimal libc implementation * POSIX: contains a POSIX layer that can be used on top of a libc implementation * Intrinsic: contains additional runtime functions which provide KLEE-specific functionalities, (e.g. checks) Builds always archives instead of single modules. This allows to reduce linked-in dependencies of tested applications.
Diffstat (limited to 'runtime/FreeStanding/Makefile.cmake.bitcode')
| -rw-r--r-- | runtime/FreeStanding/Makefile.cmake.bitcode | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/runtime/FreeStanding/Makefile.cmake.bitcode b/runtime/FreeStanding/Makefile.cmake.bitcode new file mode 100644 index 00000000..0ad434d6 --- /dev/null +++ b/runtime/FreeStanding/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=kleeRuntimeFreeStanding + +include $(LEVEL)/Makefile.cmake.bitcode.rules |