diff options
Diffstat (limited to 'src/aig/gia/giaKf.c')
| -rw-r--r-- | src/aig/gia/giaKf.c | 12 |
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 |