# $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" }