Add missing FreeBSD include (#6027) (#6028)

Fixes #6027
2025-05-20 23:46:07 +00:00 · 2025-05-20 23:46:07 +00:00 · 80ea173390
parent 6d257ef52c
commit 80ea173390
2 changed files with 5 additions and 0 deletions
--- a/docs/CONTRIBUTORS
+++ b/docs/CONTRIBUTORS
@ -106,6 +106,7 @@ Jiangjie Weng
 Jinyan Xu
 Jitesh Nayak
 Jiuyang Liu
+Joel Bodenmann
 Joey Liu
 John Coiner
 John Demme
--- a/include/verilated_threads.cpp
+++ b/include/verilated_threads.cpp
@ -31,6 +31,10 @@
 #include <memory>
 #include <string>

+#ifdef __FreeBSD__
+    #include <pthread_np.h>
+#endif
+
 //=============================================================================
 // Globals