summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifTest.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/map/if/ifTest.c')
-rw-r--r--src/map/if/ifTest.c12
1 files changed, 10 insertions, 2 deletions
diff --git a/src/map/if/ifTest.c b/src/map/if/ifTest.c
index bbadaca2..fa9a6444 100644
--- a/src/map/if/ifTest.c
+++ b/src/map/if/ifTest.c
@@ -21,7 +21,7 @@
#include "if.h"
#include "aig/gia/gia.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,12 @@ ABC_NAMESPACE_IMPL_START
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
+#ifndef ABC_USE_PTHREADS
+
+// do nothing
+
+#else // pthreads are used
+
static inline word * Gia_ParTestObj( Gia_Man_t * p, int Id ) { return (word *)p->pData + Id * p->iData; }
static inline void Gia_ParTestAlloc( Gia_Man_t * p, int nWords ) { assert( !p->pData ); p->pData = (unsigned *)ABC_ALLOC(word, Gia_ManObjNum(p) * nWords); p->iData = nWords; }
static inline void Gia_ParTestFree( Gia_Man_t * p ) { ABC_FREE( p->pData ); p->iData = 0; }
@@ -339,6 +345,8 @@ void Gia_ParTest( Gia_Man_t * p, int nWords, int nProcs )
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////
+#endif // pthreads are used
+
ABC_NAMESPACE_IMPL_END