diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/cmd/cmdStarter.c | 5 | ||||
| -rw-r--r-- | src/base/main/mainUtils.c | 5 | ||||
| -rw-r--r-- | src/proof/abs/absPth.c | 7 |
3 files changed, 2 insertions, 15 deletions
diff --git a/src/base/cmd/cmdStarter.c b/src/base/cmd/cmdStarter.c index 21384930..bfdd480c 100644 --- a/src/base/cmd/cmdStarter.c +++ b/src/base/cmd/cmdStarter.c @@ -25,12 +25,9 @@ #include "misc/util/abc_global.h" #include "misc/extra/extra.h" -// comment out this line to disable pthreads -#define ABC_USE_PTHREADS - #ifdef ABC_USE_PTHREADS -#ifdef WIN32 +#ifdef _WIN32 #include "../lib/pthread.h" #else #include <pthread.h> diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c index 8d24a123..2b4e682b 100644 --- a/src/base/main/mainUtils.c +++ b/src/base/main/mainUtils.c @@ -21,11 +21,6 @@ #include "base/abc/abc.h" #include "mainInt.h" -#if !defined(_WIN32) && !defined(AIX) -// comment out the following line if 'readline' is not available -#define ABC_USE_READLINE -#endif - #ifdef ABC_USE_READLINE #include <readline/readline.h> #include <readline/history.h> diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c index ef38369c..bd3f2dcb 100644 --- a/src/proof/abs/absPth.c +++ b/src/proof/abs/absPth.c @@ -23,14 +23,9 @@ #include "proof/ssw/ssw.h" - - -// comment out this line to disable pthreads -#define ABC_USE_PTHREADS - #ifdef ABC_USE_PTHREADS -#ifdef WIN32 +#ifdef _WIN32 #include "../lib/pthread.h" #else #include <pthread.h> |