From 26ca14e4c62544d2dbc18f914258f70b97dc37b9 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 8 Jun 2026 16:11:31 +0200
Subject: [PATCH] Add missing includes for windows

---
 src/base/main/mainUtils.c | 1 +
 src/sat/kissat/colors.c   | 1 +
 src/sat/kissat/file.c     | 2 ++
 3 files changed, 4 insertions(+)

diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index 5db012cfe..018914f9c 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -20,6 +20,7 @@
 
 #ifdef WIN32
 #include <process.h> 
+#include <io.h>
 #else
 #include <unistd.h>
 #endif
diff --git a/src/sat/kissat/colors.c b/src/sat/kissat/colors.c
index c6141b749..7c41fba61 100644
--- a/src/sat/kissat/colors.c
+++ b/src/sat/kissat/colors.c
@@ -1,6 +1,7 @@
 #include "colors.h"
 
 #if defined(WIN32) && !defined(__MINGW32__)
+#include <io.h>
 #define isatty _isatty
 #else
 #include <unistd.h>
diff --git a/src/sat/kissat/file.c b/src/sat/kissat/file.c
index e4486783d..c0d14c6cc 100644
--- a/src/sat/kissat/file.c
+++ b/src/sat/kissat/file.c
@@ -9,10 +9,12 @@
 #include <sys/types.h>
 
 #ifdef WIN32
+#include <io.h>
 #define unlink _unlink
 #define access _access
 #define R_OK 4
 #define W_OK 2
+#define	S_ISDIR(mode)  (((mode) & S_IFMT) == S_IFDIR)
 #else
 #include <unistd.h>
 #endif