Thank you very much Judah and Brandon. And sorry for not having mentioned that I am using mac OS X. I followed the Judah's suggestions. The second one is successful while the first one stops with the error message below. (during building) It seems that mac OS X is not so compatible. Anyway, I installed readline. Thank you very for your great help. Gyesik ============ dhcpa11098:readline-5.2 leegy$ make test -d shlib || mkdir shlib ( cd shlib ; make all ) rm -f libreadline.5.2.dylib gcc -dynamic -arch_only `/usr/bin/arch` -install_name /usr/local/lib/libreadline.5.2.dylib -current_version 5.2 -compatibility_version 5 -v -o libreadline.5.2.dylib readline.so vi_mode.so funmap.so keymaps.so parens.so search.so rltty.so complete.so bind.so isearch.so display.so signals.so util.so kill.so undo.so macro.so input.so callback.so terminal.so text.so nls.so misc.so xmalloc.so history.so histexpand.so histfile.so histsearch.so shell.so mbutil.so tilde.so compat.so -lncurses Using built-in specs. Target: i686-apple-darwin9 Configured with: /var/tmp/gcc/gcc-5465~16/src/configure --disable-checking -enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.0/ --with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/lib --build=i686-apple-darwin9 --with-arch=apple --with-tune=generic --host=i686-apple-darwin9 --target=i686-apple-darwin9 Thread model: posix gcc version 4.0.1 (Apple Inc. build 5465) i686-apple-darwin9-gcc-4.0.1: -compatibility_version only allowed with -dynamiclib make[1]: *** [libreadline.5.2.dylib] Error 1 make: [shared] Error 2 (ignored) On Tue, Nov 18, 2008 at 3:16 PM, Judah Jacobson wrote:

On Mon, Nov 17, 2008 at 9:27 PM, Gyesik Lee wrote:

...

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

From your configure log, I'm guessing you might be running on OS X. If that's the case: The issue is that OS X ships with a version of libreadline (really, a wrapper around the libedit library) which is not useable by the Haskell readline package.

You can fix this by installing a "real" version of readline; either download and install from ftp://ftp.cwru.edu/pub/bash/readline-5.2.tar.gz , or else install GNUreadline.framework from:

http://www.haskell.org/ghc/dist/mac_frameworks/mac_e.htm

-Judah