From f66fd3f3a320ca5bbad9860b73c78e8065629ee6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 6 Oct 2012 18:28:25 -0700
Subject: Updating readme.

---
 src/base/main/mainUtils.c | 8 ++++++--
 src/proof/abs/absPth.c    | 3 ++-
 2 files changed, 8 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index c8038765..67bf3664 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -22,13 +22,17 @@
 #include "mainInt.h"
 
 #if !defined(_WIN32) && !defined(AIX) 
+// comment out the following line if 'readline' is not available
+#define ABC_USE_READ_LINE
+#endif
+
+#ifdef ABC_USE_READ_LINE
 #include <readline/readline.h>
 #include <readline/history.h>
 #endif
 
 ABC_NAMESPACE_IMPL_START
 
-
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////
@@ -72,7 +76,7 @@ char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc )
 {
     static char Prompt[5000];
     sprintf( Prompt, "abc %02d> ", pAbc->nSteps );
-#if !defined(_WIN32) && !defined(AIX) 
+#ifdef ABC_USE_READ_LINE
     {
     static char * line = NULL;
     if (line != NULL) ABC_FREE(line);
diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c
index 8f50cc66..3c24d83e 100644
--- a/src/proof/abs/absPth.c
+++ b/src/proof/abs/absPth.c
@@ -22,7 +22,8 @@
 #include "proof/pdr/pdr.h"
 #include "proof/ssw/ssw.h"
 
-// to compile on Linux, add -lpthread to LIBS in Makefile
+
+
 
 // comment out this line to disable pthreads
 #define ABC_USE_PTHREADS
-- 
cgit v1.2.3