Integrating editline with ghc
judah.jacobson at gmail.com
Sun Jan 27 19:06:41 EST 2008
On Jan 27, 2008 3:45 PM, Duncan Coutts <duncan.coutts at worc.ox.ac.uk> wrote:
> 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
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.
More information about the Libraries