27 Jan
2008
27 Jan
'08
6:45 p.m.
On Sun, 2008-01-27 at 12:25 +0000, Duncan Coutts wrote:
On Sun, 2008-01-27 at 16:41 +1100, Manuel M T Chakravarty wrote:
To summarise,
* I don't think it is feasible to entirely drop readline from ghci (as some widely used Linux distributions, eg, Fedora 7 and Solaris doesn't support sufficiently recent versions of editline).
Indeed. I tried to build the editline package that was just uploaded to hackage and discovered that Gentoo does not package the editline C library at all.
I spoke too soon. It is packaged as libedit (I was looking for editline). Duncan