about summary refs log tree commit diff homepage
path: root/runtime
diff options
context:
space:
mode:
authorMartin Nowack <martin.nowack@gmail.com>2013-09-18 12:38:32 +0200
committerMartin Nowack <martin.nowack@gmail.com>2013-09-18 12:38:32 +0200
commite9b814eda7a590af35959cd11ceeb7bef7496789 (patch)
tree05126b4a5a9294a7f04c1d8d683dde90f772b15c /runtime
parent1e63f37178748da804aae3a4735fca73dee5d53a (diff)
downloadklee-e9b814eda7a590af35959cd11ceeb7bef7496789.tar.gz
Compile separate version of fd files only for LLVM 3.3 or higher
Diffstat (limited to 'runtime')
-rw-r--r--runtime/POSIX/fd_32.c3
-rw-r--r--runtime/POSIX/fd_64.c4
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"