diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2013-09-18 12:38:32 +0200 |
|---|---|---|
| committer | Martin Nowack <martin.nowack@gmail.com> | 2013-09-18 12:38:32 +0200 |
| commit | e9b814eda7a590af35959cd11ceeb7bef7496789 (patch) | |
| tree | 05126b4a5a9294a7f04c1d8d683dde90f772b15c /runtime/POSIX | |
| parent | 1e63f37178748da804aae3a4735fca73dee5d53a (diff) | |
| download | klee-e9b814eda7a590af35959cd11ceeb7bef7496789.tar.gz | |
Compile separate version of fd files only for LLVM 3.3 or higher
Diffstat (limited to 'runtime/POSIX')
| -rw-r--r-- | runtime/POSIX/fd_32.c | 3 | ||||
| -rw-r--r-- | runtime/POSIX/fd_64.c | 4 |
2 files changed, 5 insertions, 2 deletions
diff --git a/runtime/POSIX/fd_32.c b/runtime/POSIX/fd_32.c index 20587b42..f2f384fb 100644 --- a/runtime/POSIX/fd_32.c +++ b/runtime/POSIX/fd_32.c @@ -17,7 +17,8 @@ #endif #endif -#ifdef ENV32 +#include "klee/Config/Version.h" +#if defined(ENV32) || (LLVM_VERSION_CODE < LLVM_VERSION(3, 3)) #define _LARGEFILE64_SOURCE #include "fd.h" diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c index c84599ff..268579c0 100644 --- a/runtime/POSIX/fd_64.c +++ b/runtime/POSIX/fd_64.c @@ -15,7 +15,9 @@ #endif #endif -#ifdef ENV64 + +#include "klee/Config/Version.h" +#if defined(ENV64) || (LLVM_VERSION_CODE < LLVM_VERSION(3, 3)) #define _LARGEFILE64_SOURCE #define _FILE_OFFSET_BITS 64 #include "fd.h" |