18 Nov
2008
18 Nov
'08
1:01 a.m.
On 2008 Nov 18, at 0:27, Gyesik Lee wrote:
I am really sorry for bothering you with this kind of question, but I here have no one to ask about readline.
Indeed I am trying to install Agda which requires readline 1.0.1.0. But I can neither use cabal nor install it manually.
The Haskell readline package is a wrapper around the GNU readline library. If you're running Linux, you need to install readline and readline-devel (or readline-dev) packages. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH