From f3d3cca63d1e2500764279f7b4fc302fd8106676 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Wed, 3 Oct 2018 22:23:49 +0100
Subject: add support for klee-replay on OSX

* also adds klee-replay as dependency for systemtests
---
 runtime/POSIX/fd.h | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

(limited to 'runtime/POSIX')

diff --git a/runtime/POSIX/fd.h b/runtime/POSIX/fd.h
index 4a6fbc15..4c07ac9a 100644
--- a/runtime/POSIX/fd.h
+++ b/runtime/POSIX/fd.h
@@ -10,14 +10,29 @@
 #ifndef __EXE_FD__
 #define __EXE_FD__
 
+#include "klee/Config/config.h"
+
 #ifndef _LARGEFILE64_SOURCE
 #error "_LARGEFILE64_SOURCE should be defined"
 #endif
+
+#include <dirent.h>
 #include <sys/types.h>
+
+#ifdef HAVE_SYSSTATFS_H
 #include <sys/statfs.h>
-#include <dirent.h>
+#endif
 
-typedef struct {  
+#if defined(__APPLE__)
+#include <sys/dtrace.h>
+#include <sys/mount.h>
+#include <sys/param.h>
+#if !defined(dirent64)
+#define dirent64 dirent
+#endif
+#endif
+
+typedef struct {
   unsigned size;  /* in bytes */
   char* contents;
   struct stat64* stat;
-- 
cgit 1.4.1