# Copyright 1999-2005 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/app-misc/ledit/ledit-1.11.ebuild,v 1.5 2005/01/12 14:55:05 sekretarz Exp $

inherit eutils

IUSE=""

DESCRIPTION="A line editor to be used with interactive commands."
SRC_URI="ftp://ftp.inria.fr/INRIA/Projects/cristal/Daniel.de_Rauglaudre/Tools/${P}.tar.gz"
HOMEPAGE="http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=301"

DEPEND=">=dev-lang/ocaml-3.06"
RDEPEND=""

SLOT="0"
LICENSE="BSD"
KEYWORDS="x86 ppc ~amd64"

src_compile()
{
	epatch ${FILESDIR}/ledit-loc.patch || die "patch failed"
	make || die "make failed"
	make ledit.opt || die "make failed"
}

src_install()
{
	newbin ledit.opt ledit
	newman ledit.l ledit.1
	dodoc Changes LICENSE README
}