From 1cdb2daceeb05bf780f430344ea50e96ddee2a00 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 4 Sep 2023 08:13:00 +0700
Subject: [PATCH] Problem fix: <unistd.h> is not properly defined.

---
 src/aig/gia/giaKf.c        | 7 ++++++-
 src/aig/gia/giaStoch.c     | 6 +++++-
 src/aig/gia/giaTranStoch.c | 7 ++++++-
 src/sat/cnf/cnfUtil.c      | 4 ++--
 4 files changed, 19 insertions(+), 5 deletions(-)

diff --git a/src/aig/gia/giaKf.c b/src/aig/gia/giaKf.c
index a823f7262..6909851f1 100644
--- a/src/aig/gia/giaKf.c
+++ b/src/aig/gia/giaKf.c
@@ -21,13 +21,18 @@
 #include "gia.h"
 #include "misc/vec/vecSet.h"
 
+#ifdef _MSC_VER
+#define unlink _unlink
+#else
+#include <unistd.h>
+#endif
+
 #ifdef ABC_USE_PTHREADS
 
 #ifdef _WIN32
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
-#include <unistd.h>
 #endif
 
 #endif
diff --git a/src/aig/gia/giaStoch.c b/src/aig/gia/giaStoch.c
index 57775b5cc..78fe2cb67 100644
--- a/src/aig/gia/giaStoch.c
+++ b/src/aig/gia/giaStoch.c
@@ -22,6 +22,11 @@
 #include "base/main/main.h"
 #include "base/cmd/cmd.h"
 
+#ifdef _MSC_VER
+#define unlink _unlink
+#else
+#include <unistd.h>
+#endif
 
 #ifdef ABC_USE_PTHREADS
 
@@ -29,7 +34,6 @@
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
-#include <unistd.h>
 #endif
 
 #endif
diff --git a/src/aig/gia/giaTranStoch.c b/src/aig/gia/giaTranStoch.c
index efc358dde..aa600c0c0 100644
--- a/src/aig/gia/giaTranStoch.c
+++ b/src/aig/gia/giaTranStoch.c
@@ -29,13 +29,18 @@
 #include <opt/sfm/sfm.h>
 #include <opt/fxu/fxu.h>
 
+#ifdef _MSC_VER
+#define unlink _unlink
+#else
+#include <unistd.h>
+#endif
+
 #ifdef ABC_USE_PTHREADS
 
 #ifdef _WIN32
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
-#include <unistd.h>
 #endif
 
 #endif
diff --git a/src/sat/cnf/cnfUtil.c b/src/sat/cnf/cnfUtil.c
index 7886b8a3b..e67328171 100644
--- a/src/sat/cnf/cnfUtil.c
+++ b/src/sat/cnf/cnfUtil.c
@@ -21,8 +21,6 @@
 #include "cnf.h"
 #include "sat/bsat/satSolver.h"
 
-ABC_NAMESPACE_IMPL_START
-
 #ifdef _MSC_VER
 #define unlink _unlink
 #else
@@ -39,6 +37,8 @@ ABC_NAMESPACE_IMPL_START
 
 #endif
 
+ABC_NAMESPACE_IMPL_START
+
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////