Portfile

# $Id: Portfile 22082 2007-02-17 08:53:26Z markd@macports.org $

PortSystem 1.0

name ledit
version 1.12
categories editors
maintainers reilles@loria.fr
description A line editor to be used with interactive commands.
long_description The command ledit allows to edit lines one by\
one when running an interactive command. When typing a line,\
some keys with control or meta are interpreted: it is possible\
to insert characters in the middle of the line, go to the\
beginning or the end of the line, get a previous line,\
search for a line with a pattern, etc.
homepage http://cristal.inria.fr/~ddr/
master_sites http://cristal.inria.fr/~ddr/ledit/ \
ftp://ftp.inria.fr/INRIA/Projects/cristal/Daniel.de_Rauglaudre/Tools/
checksums md5 233d5a8f8000d30e8f5b96f191381bc7 \
sha1 1f9dea8bfd923896b5dde54c2df72537fdf2fd8e
extract.suffix .tgz
depends_build port:ocaml
configure {
reinplace "s|BINDIR=/usr/local/bin|BINDIR=${destroot}${prefix}/bin|" "${worksrcpath}/Makefile"
reinplace "s|LIBDIR=/usr/local/lib|LIBDIR=${destroot}${prefix}/lib/ledit|" "${worksrcpath}/Makefile"
reinplace "s|MANDIR=/usr/man/manl|MANDIR=${destroot}${prefix}/share/man/man1|" "${worksrcpath}/Makefile"
reinplace "s|(MANDIR)/ledit.l|(MANDIR)/ledit.1|" "${worksrcpath}/Makefile"
}