diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-11-03 20:17:04 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-11-04 15:14:47 +0000 |
| commit | a4250b231c8527c669c0395db69bd83cf71e9065 (patch) | |
| tree | 6793d01b97d76c04bdc10937e29bf2205d935aca /runtime | |
| parent | 2f9e24de97ec54ed84180c15a5b6c7654321e354 (diff) | |
| download | klee-a4250b231c8527c669c0395db69bd83cf71e9065.tar.gz | |
Rename FreeStanding to Freestanding where appropriate
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/CMakeLists.txt | 4 | ||||
| -rw-r--r-- | runtime/Freestanding/CMakeLists.txt (renamed from runtime/FreeStanding/CMakeLists.txt) | 2 | ||||
| -rw-r--r-- | runtime/Freestanding/memcmp.c (renamed from runtime/FreeStanding/memcmp.c) | 0 | ||||
| -rw-r--r-- | runtime/Freestanding/memcpy.c (renamed from runtime/FreeStanding/memcpy.c) | 0 | ||||
| -rw-r--r-- | runtime/Freestanding/memmove.c (renamed from runtime/FreeStanding/memmove.c) | 0 | ||||
| -rw-r--r-- | runtime/Freestanding/memset.c (renamed from runtime/FreeStanding/memset.c) | 0 |
6 files changed, 3 insertions, 3 deletions
diff --git a/runtime/CMakeLists.txt b/runtime/CMakeLists.txt index 327f5407..52f4e766 100644 --- a/runtime/CMakeLists.txt +++ b/runtime/CMakeLists.txt @@ -85,12 +85,12 @@ foreach (_suffix ${LIB_BC_SUFFIX}) list(APPEND "LIB_BC_FLAGS_${_suffix}" ${COMMON_CC_FLAGS}) endforeach () -add_subdirectory(FreeStanding) +add_subdirectory(Freestanding) add_subdirectory(Intrinsic) add_subdirectory(klee-libc) set(RUNTIME_LIBRARIES - RuntimeFreeStanding + RuntimeFreestanding RuntimeIntrinsic RuntimeKLEELibc ) diff --git a/runtime/FreeStanding/CMakeLists.txt b/runtime/Freestanding/CMakeLists.txt index cf558a7d..872a4f05 100644 --- a/runtime/FreeStanding/CMakeLists.txt +++ b/runtime/Freestanding/CMakeLists.txt @@ -7,7 +7,7 @@ # #===------------------------------------------------------------------------===# -set(LIB_PREFIX "RuntimeFreeStanding") +set(LIB_PREFIX "RuntimeFreestanding") set(SRC_FILES memcmp.c memcpy.c diff --git a/runtime/FreeStanding/memcmp.c b/runtime/Freestanding/memcmp.c index 566daf48..566daf48 100644 --- a/runtime/FreeStanding/memcmp.c +++ b/runtime/Freestanding/memcmp.c diff --git a/runtime/FreeStanding/memcpy.c b/runtime/Freestanding/memcpy.c index c7c6e6d3..c7c6e6d3 100644 --- a/runtime/FreeStanding/memcpy.c +++ b/runtime/Freestanding/memcpy.c diff --git a/runtime/FreeStanding/memmove.c b/runtime/Freestanding/memmove.c index ee0e53ae..ee0e53ae 100644 --- a/runtime/FreeStanding/memmove.c +++ b/runtime/Freestanding/memmove.c diff --git a/runtime/FreeStanding/memset.c b/runtime/Freestanding/memset.c index b439001e..b439001e 100644 --- a/runtime/FreeStanding/memset.c +++ b/runtime/Freestanding/memset.c |