Installation of ghc 6.8.2
~~~~~~~~~~~~~~~~~~~~~~~~~
Latest version:
  I got ghc from Suse using 


I installed ghc 6.8.2 binary package Linux (x86) 
  using the version using libreadline.so.5 isntead of libreadline.so.4

  (On one machine I needed to install the package 
   gmp-32bit from my Linux Distribution
  (message showed problem with libgmp.so.4)

Remember to use the 32 bit version or 64 bit version depending on your
architecture (my PC is 64 bit, laptop is 32 bit)

I moved it to /urs/local/src/ghc
and there I 

first had to remove any installation from source

Then I did

bunzip2 
tar xvf ...

Then I did as required there
./configure
make install

Note:  a local installation is possible 
      see instructions in INSTALL
     What worked was   (Note full path needed)
     ./configure --prefix=/home/csetzerlocal/agda2/programsused/local/
     make install