From 9f864ebe76047d9e4fca8a6c209e5c92d3da448a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 31 Jul 2024 22:25:01 -0700
Subject: [PATCH] Trying to fix the compilation issue.

---
 src/aig/aig/aigUtil.c    | 5 +++++
 src/aig/gia/giaUtil.c    | 5 +++++
 src/misc/util/utilSort.c | 5 +++++
 3 files changed, 15 insertions(+)

diff --git a/src/aig/aig/aigUtil.c b/src/aig/aig/aigUtil.c
index c1ec04d21..aad8c250c 100644
--- a/src/aig/aig/aigUtil.c
+++ b/src/aig/aig/aigUtil.c
@@ -1169,8 +1169,13 @@ void Aig_ManRandomTest1()
 ***********************************************************************/
 unsigned Aig_ManRandom( int fReset )
 {
+#ifdef _MSC_VER
+    static unsigned int m_z = NUMBER1;
+    static unsigned int m_w = NUMBER2;
+#else
     static __thread unsigned int m_z = NUMBER1;
     static __thread unsigned int m_w = NUMBER2;
+#endif    
     if ( fReset )
     {
         m_z = NUMBER1;
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index cd02d36dd..b60b039be 100644
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -48,8 +48,13 @@ ABC_NAMESPACE_IMPL_START
 ***********************************************************************/
 unsigned Gia_ManRandom( int fReset )
 {
+#ifdef _MSC_VER
+    static unsigned int m_z = NUMBER1;
+    static unsigned int m_w = NUMBER2;
+#else
     static __thread unsigned int m_z = NUMBER1;
     static __thread unsigned int m_w = NUMBER2;
+#endif    
     if ( fReset )
     {
         m_z = NUMBER1;
diff --git a/src/misc/util/utilSort.c b/src/misc/util/utilSort.c
index 6ad9acd17..0bbd7d289 100644
--- a/src/misc/util/utilSort.c
+++ b/src/misc/util/utilSort.c
@@ -1003,8 +1003,13 @@ void Abc_QuickSortTest()
 
 unsigned Abc_Random( int fReset )
 {
+#ifdef _MSC_VER
+    static unsigned int m_z = NUMBER1;
+    static unsigned int m_w = NUMBER2;
+#else
     static __thread unsigned int m_z = NUMBER1;
     static __thread unsigned int m_w = NUMBER2;
+#endif    
     if ( fReset )
     {
         m_z = NUMBER1;