From 9d6f7fa4e625c7cfb12d9a83b676a64d943f7d65 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 2 Oct 2012 17:00:03 -0700
Subject: Added detection of 'readline' library at compile-time.

---
 src/base/main/mainUtils.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/base/main/mainUtils.c')

diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index 8408568f..dd28d2f1 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -21,7 +21,7 @@
 #include "base/abc/abc.h"
 #include "mainInt.h"
 
-#if !defined(_WIN32) && defined(HAVE_LIBREADLINE)
+#if !defined(_WIN32) //&& defined(HAVE_LIBREADLINE)
 #include <readline/readline.h>
 #include <readline/history.h>
 #endif
@@ -72,7 +72,7 @@ char * Abc_UtilsGetUsersInput( Abc_Frame_t * pAbc )
 {
     static char Prompt[5000];
     sprintf( Prompt, "abc %02d> ", pAbc->nSteps );
-#if !defined(_WIN32) && defined(HAVE_LIBREADLINE)
+#if !defined(_WIN32) //&& defined(HAVE_LIBREADLINE)
     {
     static char * line = NULL;
     if (line != NULL) ABC_FREE(line);
-- 
cgit v1.2.3