projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7719c49
)
make sure to clear out READLINE_LIBS if readline causes problems at configure time...
author
Morgan Deters
<mdeters@gmail.com>
Wed, 22 Feb 2012 20:12:44 +0000
(20:12 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Wed, 22 Feb 2012 20:12:44 +0000
(20:12 +0000)
config/readline.m4
patch
|
blob
|
history
diff --git
a/config/readline.m4
b/config/readline.m4
index e97878ffa4ca4ddab00f529d149987fcc767c94f..42c85d47d11b569506ca12aa0a9d19c0f6f9682e 100644
(file)
--- a/
config/readline.m4
+++ b/
config/readline.m4
@@
-53,6
+53,7
@@
else
HAVE_LIBREADLINE=1
else
HAVE_LIBREADLINE=0
+ READLINE_LIBS=
fi
AC_DEFINE_UNQUOTED([HAVE_LIBREADLINE], ${HAVE_LIBREADLINE}, [Define to 1 to use libreadline])
AC_SUBST([READLINE_LIBS])