Ticket #14007: Portfile.diff

File Portfile.diff, 1.2 KB (added by mreid@…, 17 years ago)
  • Portfile

    old new  
    33PortSystem 1.0
    44
    55name            ledit
    6 version         1.12
     6version         2.00
    77categories      editors
    88maintainers     reilles@loria.fr
    99description     A line editor to be used with interactive commands.
     
    1414  beginning or the end of  the  line,  get  a  previous  line,\
    1515  search for a line with a pattern, etc.
    1616homepage                http://cristal.inria.fr/~ddr/
    17 master_sites    http://cristal.inria.fr/~ddr/ledit/ \
    18                 ftp://ftp.inria.fr/INRIA/Projects/cristal/Daniel.de_Rauglaudre/Tools/
    19 checksums               md5             233d5a8f8000d30e8f5b96f191381bc7 \
    20                                 sha1    1f9dea8bfd923896b5dde54c2df72537fdf2fd8e
     17master_sites    http://pauillac.inria.fr/~ddr/ledit/distrib/src/
     18checksums               md5     d5c21dc734e20ce13aa7b995621b1c9a \
     19                        sha1    74f7a004f6c0dd002217f12d9460db4a9adcbcd5 \
     20                        rmd160  b852f8266acc81eb97fa481f737dd0623eedc340
    2121extract.suffix  .tgz
    2222depends_build   port:ocaml
     23depends_lib     bin:camlp5:camlp5
    2324configure {
    2425  reinplace "s|BINDIR=/usr/local/bin|BINDIR=${destroot}${prefix}/bin|" "${worksrcpath}/Makefile"
    2526  reinplace "s|LIBDIR=/usr/local/lib|LIBDIR=${destroot}${prefix}/lib/ledit|" "${worksrcpath}/Makefile"