MINGW proper pthread handling

mmicko · mmicko · commit f2ae808236ed · 2026-01-29T09:28:21.000+01:00
diff --git a/src/aig/gia/giaKf.c b/src/aig/gia/giaKf.c
@@ -29,7 +29,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/aig/gia/giaTranStoch.c b/src/aig/gia/giaTranStoch.c
@@ -37,7 +37,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/base/cmd/cmdAuto.c b/src/base/cmd/cmdAuto.c
@@ -29,7 +29,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/base/cmd/cmdStarter.c b/src/base/cmd/cmdStarter.c
@@ -27,7 +27,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/base/wlc/wlcPth.c b/src/base/wlc/wlcPth.c
@@ -23,7 +23,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c
@@ -32,7 +32,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/map/if/ifTest.c b/src/map/if/ifTest.c
@@ -23,7 +23,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/misc/util/utilPth.c b/src/misc/util/utilPth.c
@@ -23,7 +23,7 @@
 #include <stdlib.h>
 #include <assert.h>
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include <windows.h>
 #include <time.h>
 // nanosleep implementation for Windows
@@ -41,7 +41,7 @@ static inline int nanosleep(const struct timespec *req, struct timespec *rem) {
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/opt/ufar/UfarPth.cpp b/src/opt/ufar/UfarPth.cpp
@@ -1,7 +1,7 @@
 
 #include "misc/util/abc_namespaces.h"
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c
@@ -25,7 +25,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/proof/cec/cecProve.c b/src/proof/cec/cecProve.c
@@ -30,7 +30,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/proof/cec/cecSplit.c b/src/proof/cec/cecSplit.c
@@ -28,7 +28,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
diff --git a/src/proof/ssw/sswPart.c b/src/proof/ssw/sswPart.c
@@ -25,7 +25,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include <windows.h>
 #include <time.h>
 #include "../lib/pthread.h"
diff --git a/src/sat/bmc/bmcBmcS.c b/src/sat/bmc/bmcBmcS.c
@@ -48,7 +48,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
     #include "../lib/pthread.h"
 #else
     #include <pthread.h>
diff --git a/src/sat/cnf/cnfUtil.c b/src/sat/cnf/cnfUtil.c
@@ -29,7 +29,7 @@
 
 #ifdef ABC_USE_PTHREADS
 
-#ifdef _WIN32
+#if defined(_WIN32) && !defined(__MINGW32__)
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
