projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7719c49) | patch
make sure to clear out READLINE_LIBS if readline causes problems at configure time...
authorMorgan Deters <mdeters@gmail.com>
Wed, 22 Feb 2012 20:12:44 +0000 (20:12 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 22 Feb 2012 20:12:44 +0000 (20:12 +0000)
commite1d2304f93adc9bd53d0d715de02648c2ba369fa
tree684e3483aae08ee1ea6100f4b2271adad52ab33atree
parent7719c492e69e22f9bdf0ce84ecc41ba0a4423aeecommit | diff
make sure to clear out READLINE_LIBS if readline causes problems at configure time; fixes a bug reported by Clark for static-binary builds on machines where no static libreadline is available (like CIMS machines)
config/readline.m4 diff | blob | history