Ticket #13819: Portfile.diff

File Portfile.diff, 712 bytes (added by takeshi@…, 17 years ago)

  • Portfile

    old new  
    44
    55name                    openmpi
    66version                 1.2.4
    7 revision                1
     7revision                2
    88categories              science parallel net
    99platforms               darwin
    1010maintainers             mww
    … …  
    3131configure.dir   ${workpath}/build
    3232configure.cmd   ${worksrcpath}/configure
    3333configure.args  --disable-f77 --disable-f90 \
    34                 --enable-static \
    3534                --sysconfdir=${prefix}/etc/${name} \
    3635                --includedir=${prefix}/include/${name} \
    3736                --bindir=${prefix}/lib/${name}/bin \
    … …  
    8079livecheck.url   http://www.open-mpi.org/software/
    8180livecheck.regex openmpi-(\[0-9\.\]+).tar.bz2
    8281
     82