projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a426d4b) | patch
readline links in -ltermcap -ltinfo too (fixes breakage in static-binary builds)
authorMorgan Deters <mdeters@gmail.com>
Mon, 20 Feb 2012 16:28:44 +0000 (16:28 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 20 Feb 2012 16:28:44 +0000 (16:28 +0000)
commit92155f5e40ed2cf452dc5e2f618e7be6542293e8
treef44fb15df300f7f8da3d8c3153c374b282d38d53tree
parenta426d4b7795a173d6a50418a38a3b41bbfaf880dcommit | diff
readline links in -ltermcap -ltinfo too (fixes breakage in static-binary builds)
config/readline.m4 diff | blob | history