Trying to fix the compilation issue.

berkeley-abc · Aug 1, 2024 · 9f864eb · 9f864eb
1 parent c62bfec
commit 9f864eb
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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;