| 1 | |
|---|
| 2 | PortSystem 1.0 |
|---|
| 3 | |
|---|
| 4 | name ledit |
|---|
| 5 | version 1.11 |
|---|
| 6 | categories editors |
|---|
| 7 | maintainers reilles@loria.fr |
|---|
| 8 | description A line editor to be used with interactive commands. |
|---|
| 9 | long_description The command ledit allows to edit lines one by\ |
|---|
| 10 | one when running an interactive command. When typing a line,\ |
|---|
| 11 | some keys with control or meta are interpreted: it is possible\ |
|---|
| 12 | to insert characters in the middle of the line, go to the\ |
|---|
| 13 | beginning or the end of the line, get a previous line,\ |
|---|
| 14 | search for a line with a pattern, etc. |
|---|
| 15 | homepage http://cristal.inria.fr/~ddr/ |
|---|
| 16 | master_sites ftp://ftp.inria.fr/INRIA/Projects/cristal/Daniel.de_Rauglaudre/Tools/ |
|---|
| 17 | checksums md5 a2d38ba641682509c1e964ad699a9dd2 |
|---|
| 18 | depends_build bin:ocamlc:ocaml |
|---|
| 19 | configure { |
|---|
| 20 | cd ${worksrcpath} |
|---|
| 21 | reinplace "s|BINDIR=/usr/local/bin|BINDIR=${destroot}${prefix}/bin|" Makefile |
|---|
| 22 | reinplace "s|LIBDIR=/usr/local/lib|LIBDIR=${destroot}${prefix}/lib/ledit|" Makefile |
|---|
| 23 | reinplace "s|MANDIR=/usr/man/manl|MANDIR=${destroot}${prefix}/share/man/man1|" Makefile |
|---|
| 24 | } |
|---|
| 25 | |
|---|
