On Jan 27, 2008 3:45 PM, Duncan Coutts
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).
I should probably note that on a few distros, the package named "editline" is the older, version 1.* of the library (which provides much less functionality), whereas "libedit" is version 2.* which is necessary for building my editline package. -Judah