diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-24 21:24:28 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 69b7c76559d95cf774c242f8423b447c786dde47 (patch) | |
| tree | 462ff7c5d208fe174e593e0d2ec1ed777c38c7f8 /scripts | |
| parent | 736c07ed297682e13a9f20330a9d0914b55a419c (diff) | |
| download | klee-69b7c76559d95cf774c242f8423b447c786dde47.tar.gz | |
Fix LLVM 4.0 build patch
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/patches/llvm40.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/scripts/build/patches/llvm40.patch b/scripts/build/patches/llvm40.patch index 8e8481dd..4a101487 100644 --- a/scripts/build/patches/llvm40.patch +++ b/scripts/build/patches/llvm40.patch @@ -98,14 +98,3 @@ if("${CMAKE_SYSTEM_NAME}" STREQUAL "Linux" OR MINGW) # FIXME: It should be "GNU ld for elf" # GNU ld doesn't resolve symbols in the version script. set(LIB_NAMES -Wl,--whole-archive ${LIB_NAMES} -Wl,--no-whole-archive) ---- a/libcxx/include/__locale -+++ b/libcxx/include/__locale -@@ -34,7 +34,7 @@ - # include <support/solaris/xlocale.h> - #elif defined(_NEWLIB_VERSION) - # include <support/newlib/xlocale.h> --#elif (defined(__GLIBC__) || defined(__APPLE__) || defined(__FreeBSD__) \ -+#elif (defined(__APPLE__) || defined(__FreeBSD__) \ - || defined(__EMSCRIPTEN__) || defined(__IBMCPP__)) - # include <xlocale.h> - #elif defined(_LIBCPP_HAS_MUSL_LIBC) \ No newline at end of file |