From c1ecb1b2f1427e5d8616c9177c6962ebf1449a47 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20Kr=C3=A4mer?= <uddka@student.kit.edu>
Date: Sat, 5 May 2018 13:02:44 +0200
Subject: Add "#ifdef __FreeBSD__"

(Re-commit e3575a8 with corrected author field)
---
 kernel/log.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/log.cc')

diff --git a/kernel/log.cc b/kernel/log.cc
index ff171f3e6..6d562b9e6 100644
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -25,7 +25,7 @@
 #  include <sys/time.h>
 #endif
 
-#ifdef __linux__
+#if defined(__linux__) || defined(__FreeBSD__)
 #  include <dlfcn.h>
 #endif
 
@@ -392,7 +392,7 @@ void log_pop()
 	log_flush();
 }
 
-#if defined(__linux__) && defined(YOSYS_ENABLE_PLUGINS)
+#if (defined(__linux__) || defined(__FreeBSD__)) && defined(YOSYS_ENABLE_PLUGINS)
 void log_backtrace(const char *prefix, int levels)
 {
 	if (levels <= 0) return;
@@ -587,7 +587,7 @@ void log_wire(RTLIL::Wire *wire, std::string indent)
 // ---------------------------------------------------
 // This is the magic behind the code coverage counters
 // ---------------------------------------------------
-#if defined(YOSYS_ENABLE_COVER) && defined(__linux__)
+#if defined(YOSYS_ENABLE_COVER) && (defined(__linux__) || defined(__FreeBSD__))
 
 dict<std::string, std::pair<std::string, int>> extra_coverage_data;
 
-- 
cgit v1.2.3