summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaKf.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/gia/giaKf.c')
-rw-r--r--src/aig/gia/giaKf.c12
1 files changed, 10 insertions, 2 deletions
diff --git a/src/aig/gia/giaKf.c b/src/aig/gia/giaKf.c
index 083bf95c..caa88bfc 100644
--- a/src/aig/gia/giaKf.c
+++ b/src/aig/gia/giaKf.c
@@ -21,7 +21,7 @@
#include "gia.h"
#include "misc/vec/vecSet.h"
-//#ifdef ABC_USE_PTHREADS
+#ifdef ABC_USE_PTHREADS
#ifdef _WIN32
#include "../lib/pthread.h"
@@ -30,7 +30,7 @@
#include <unistd.h>
#endif
-//#endif
+#endif
ABC_NAMESPACE_IMPL_START
@@ -38,6 +38,13 @@ ABC_NAMESPACE_IMPL_START
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
+#ifndef ABC_USE_PTHREADS
+
+void Kf_ManSetDefaultPars( Jf_Par_t * pPars ) {}
+Gia_Man_t * Kf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) { return NULL; }
+
+#else // pthreads are used
+
#define KF_LEAF_MAX 16
#define KF_CUT_MAX 32
#define KF_PROC_MAX 32
@@ -1328,6 +1335,7 @@ Gia_Man_t * Kf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars )
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////
+#endif // pthreads are used
ABC_NAMESPACE_IMPL_END