ghc-5.02/libreadline.so.3

[Ch. A. Herrmann]

>>>>> "Simon" == Simon Marlow <simonmar at microsoft.com> writes:

    Simon> The right thing to do on such a box is to use the RPM or
    Simon> debian package, if one is available.

For the reason below, RPM is not a solution for us. Currently, I'm
compiling GHC with a modified LD_LIBRARY_PATH and until now nothing 
seems to be wrong. Thanks for the help.
     
As far as I know, RPM packages are installed into a particular 
directory, e.g., /usr/local. However, at our department, we have
an installation concept that permits us to have different versions
of the same software installed and therefore uses a particular
directory. Other good reasons for that are (1) to avoid damage of our
main system by software from outside the OS distribution and(2) to
exclude software from public use which was not properly installed
or harmonize with the installed system. 

Cheers
Christoph