From b413eb90decdb07fd63e285fcb796b99c90d314a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 25 Apr 2026 22:41:26 -0700
Subject: [PATCH] Fix windows build.

---
 src/opt/ufar/UfarCmd.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/opt/ufar/UfarCmd.cpp b/src/opt/ufar/UfarCmd.cpp
index 50b631a54..c3f64d2b1 100755
--- a/src/opt/ufar/UfarCmd.cpp
+++ b/src/opt/ufar/UfarCmd.cpp
@@ -38,7 +38,15 @@ typedef struct Ufar_StopCtx_t_
     int fActive;
     timeval TimeStart;
 } Ufar_StopCtx_t;
+#if defined(_MSC_VER)
+__declspec(thread) static Ufar_StopCtx_t g_UfarStopCtx = { NULL, 0, 0, {0, 0} };
+#elif defined(__cplusplus) && __cplusplus >= 201103L
+static thread_local Ufar_StopCtx_t g_UfarStopCtx = { NULL, 0, 0, {0, 0} };
+#elif defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L
+static _Thread_local Ufar_StopCtx_t g_UfarStopCtx = { NULL, 0, 0, {0, 0} };
+#else
 static __thread Ufar_StopCtx_t g_UfarStopCtx = { NULL, 0, 0, {0, 0} };
+#endif
 
 static int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandAnalyzeCex( Abc_Frame_t * pAbc, int argc, char ** argv );