Ticket #12919: Portfile-php5.diff

File Portfile-php5.diff, 496 bytes (added by roger.hoover@…, 17 years ago)

Patch to add sockets variant to php5

  • Portfile

    old new  
    44
    55name                php5
    66version             5.2.4
    7 revision            1
     7revision            2
    88categories          lang php www
    99maintainers         ryandesign jwa
    1010homepage            http://www.php.net/
    … …  
    306306        }
    307307}
    308308
     309variant sockets {
     310       configure.args-append \
     311               --enable-sockets
     312}
     313
    309314destroot.args \
    310315        INSTALL_ROOT=${destroot}
    311316