From 38b07e7a89f103dc3b690be5382b5a0d9f5aa7fe Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 23 Feb 2023 22:06:10 +0000
Subject: Fix building of runtime library and klee-replay

Former build system provided additional flags for building bitcode while
they were not required, e.g. under BSD or MacOS.
---
 runtime/POSIX/fd.h | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'runtime')

diff --git a/runtime/POSIX/fd.h b/runtime/POSIX/fd.h
index 39307ceb..5fa42874 100644
--- a/runtime/POSIX/fd.h
+++ b/runtime/POSIX/fd.h
@@ -16,6 +16,13 @@
 #error "_LARGEFILE64_SOURCE should be defined"
 #endif
 
+#if defined(__APPLE__) || defined(__FreeBSD__)
+#else
+#ifndef _GNU_SOURCE
+#define _GNU_SOURCE
+#endif
+#endif
+
 #include <dirent.h>
 #include <sys/types.h>
 
-- 
cgit 1.4.1