problem in installing readline

[Gyesik Lee]

Hello,

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.

Here are the error messages.

It would be really nice if you could give some advices.
Thank you very much in advance.

Best regards,

Gyesik

=============
dhcpa11098:Agda leegy$ sudo cabal install readline
Password:
Resolving dependencies...
'readline-1.0.1.0' is cached.
Configuring readline-1.0.1.0...
checking for gcc... gcc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables...
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for GNUreadline.framework... checking for readline... no
checking for tputs in -lncurses... yes
checking for readline in -lreadline... yes
checking for rl_readline_version... yes
checking for rl_begin_undo_group... no
configure: error: readline not found, so this package cannot be built
See `config.log' for more details.
cabal: Error: some packages failed to install:
readline-1.0.1.0 failed during the configure step. The exception was:
exit: ExitFailure 1