From f2ae808236ed155399521fbb43a7ea5bf1742b5a Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 29 Jan 2026 09:26:58 +0100
Subject: [PATCH] MINGW proper pthread handling

---
 src/aig/gia/giaKf.c        | 2 +-
 src/aig/gia/giaTranStoch.c | 2 +-
 src/base/cmd/cmdAuto.c     | 2 +-
 src/base/cmd/cmdStarter.c  | 2 +-
 src/base/wlc/wlcPth.c      | 2 +-
 src/map/if/ifDsd.c         | 2 +-
 src/map/if/ifTest.c        | 2 +-
 src/misc/util/utilPth.c    | 4 ++--
 src/opt/ufar/UfarPth.cpp   | 2 +-
 src/proof/abs/absPth.c     | 2 +-
 src/proof/cec/cecProve.c   | 2 +-
 src/proof/cec/cecSplit.c   | 2 +-
 src/proof/ssw/sswPart.c    | 2 +-
 src/sat/bmc/bmcBmcS.c      | 2 +-
 src/sat/cnf/cnfUtil.c      | 2 +-
 15 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/src/aig/gia/giaKf.c b/src/aig/gia/giaKf.c
index 6909851f1..820178d36 100644
--- 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
index f7b300c0d..286eae98b 100644
--- 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
index 8151c2e53..98cb6a5a2 100644
--- 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
index bfbe5533d..f0cb121b1 100644
--- 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
index ddafab23c..5a699e888 100644
--- 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
index c25873a9f..f72df0ac5 100644
--- 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
index fa9a64443..4b1ede06f 100644
--- 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
index 940f7929a..0e7194235 100644
--- 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
index 6de28dbc5..85bb0e178 100755
--- 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
index f04a20d1c..d8cb34359 100644
--- 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
index ff10e8cae..281dc2704 100644
--- 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
index 34a635b88..9c402a89f 100644
--- 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
index 3a65f17dd..094ffab88 100644
--- 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
index 8bfda56ba..f43722c9e 100644
--- 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
index 3a47ae796..0c5791f6f 100644
--- 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>