diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-06-25 21:15:57 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-06-27 23:12:04 +0100 |
| commit | 885997a9841ab666ccf1f1b573b980aa8c84a339 (patch) | |
| tree | c7b5d83ec12bd4ff9a3da347774976c46e52295b /runtime | |
| parent | 44ebccb0529e2fd9f063bf544c8535104b9b0419 (diff) | |
| download | klee-885997a9841ab666ccf1f1b573b980aa8c84a339.tar.gz | |
Define stat64 to be stat on MacOS. This fixes compilation on more recent macOS versions, where stat64 is not defined anymore.
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/POSIX/fd.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/POSIX/fd.h b/runtime/POSIX/fd.h index a5e15c9b..39307ceb 100644 --- a/runtime/POSIX/fd.h +++ b/runtime/POSIX/fd.h @@ -23,7 +23,12 @@ #include <sys/statfs.h> #endif +#include <sys/stat.h> + #ifdef __APPLE__ +#ifndef stat64 +#define stat64 stat +#endif #include <sys/dtrace.h> #endif #ifdef __FreeBSD__ |