From 977e032add0e29683bc4edc8c03aef9a81fb6d6a Mon Sep 17 00:00:00 2001
From: Tatiana Tikhomirova <itbot@bk.ru>
Date: Mon, 1 May 2017 19:31:21 +0300
Subject: Fix build for FreeBSD.

On FreeBSD <sys/capabilities.h> is present in libc, so we don't require libcap there.
Close and write functions are located in <unistd.h>.
---
 CMakeLists.txt                    | 3 ++-
 lib/Support/CompressionStream.cpp | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2f162f21..80e6b506 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -418,7 +418,8 @@ if (HAVE_SYS_CAPABILITY_H)
     NAMES cap
     DOC "libcap library"
   )
-  if (NOT LIBCAP_LIBRARIES)
+# On FreeBSD <sys/capabilities.h> is present in libc, so we don't require libcap there.
+  if (NOT LIBCAP_LIBRARIES AND NOT CMAKE_SYSTEM_NAME STREQUAL "FreeBSD")
     message(FATAL_ERROR "Found \"sys/capability.h\" but could not find libcap")
   endif()
 else()
diff --git a/lib/Support/CompressionStream.cpp b/lib/Support/CompressionStream.cpp
index 3cd5bc86..94f0bd18 100644
--- a/lib/Support/CompressionStream.cpp
+++ b/lib/Support/CompressionStream.cpp
@@ -19,6 +19,7 @@
 #include <sys/types.h>
 #include <sys/stat.h>
 #endif
+#include <unistd.h>
 
 namespace klee {
 
-- 
cgit 1.4.1