diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 11:10:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-04 11:10:25 -0700 |
| commit | 36d5ef4e6239b51cebc46229ab977696f0152d83 (patch) | |
| tree | 08e3fbc164544a4f661a2eb3d6c09254888648fe /src | |
| parent | 95571be5036ac760e82ee86f4faf2418a5a23a32 (diff) | |
| download | abc-36d5ef4e6239b51cebc46229ab977696f0152d83.tar.gz abc-36d5ef4e6239b51cebc46229ab977696f0152d83.tar.bz2 abc-36d5ef4e6239b51cebc46229ab977696f0152d83.zip | |
Making changes suggested by Mark Jarvin.
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> |