Replace #ifdef __linux__ by guards allowing more Unices

We require the Unix fork() system call (in unistd.h)

Author: danpoe

src/memory-analyzer/gdb_api.cpp

@@ -10,7 +10,15 @@ Author: Malte Mues <[email protected]>
 /// \file
 /// Low-level interface to gdb
 
-#ifdef __linux__
+// clang-format off
+#if defined(__linux__) || \
+    defined(__FreeBSD_kernel__) || \
+    defined(__GNU__) || \
+    defined(__unix__) || \
+    defined(__CYGWIN__) || \
+    defined(__MACH__)
+// clang-format on
+
 #include <cctype>
 #include <cerrno>
 #include <cstdio>

src/memory-analyzer/gdb_api.h

@@ -15,7 +15,15 @@ Author: Malte Mues <[email protected]>
 /// gdb machine interface (see section "The GDB/MI Interface" in the
 /// gdb manual to communicate with gdb.
 
-#ifdef __linux__
+// clang-format off
+#if defined(__linux__) || \
+    defined(__FreeBSD_kernel__) || \
+    defined(__GNU__) || \
+    defined(__unix__) || \
+    defined(__CYGWIN__) || \
+    defined(__MACH__)
+// clang-format on
+
 #ifndef CPROVER_MEMORY_ANALYZER_GDB_API_H
 #define CPROVER_MEMORY_ANALYZER_GDB_API_H
 #include <unistd.h>
@@ -92,4 +100,4 @@ class gdb_interaction_exceptiont : public cprover_exception_baset
 };
 
 #endif // CPROVER_MEMORY_ANALYZER_GDB_API_H
-#endif // __linux__
+#endif

unit/memory-analyzer/gdb_api.cpp

@@ -9,9 +9,23 @@ Author: Malte Mues <[email protected]>
 
 #include <testing-utils/use_catch.h>
 
-#ifdef __linux__
-//  \file Test that the regex expression used work as expected.
-#define private public
+// clang-format off
+#if defined(__linux__) || \
+    defined(__FreeBSD_kernel__) || \
+    defined(__GNU__) || \
+    defined(__unix__) || \
+    defined(__CYGWIN__) || \
+    defined(__MACH__)
+// clang-format on
+
+#include <cstdio>
+#include <cstdlib>
+#include <regex>
+#include <string>
+
+#include <fstream>
+#include <iostream>
+
 #include <memory-analyzer/gdb_api.cpp>
 #include <string>