Ticket #13527: Portfile-php5.diff

File Portfile-php5.diff, 306 bytes (added by derek@…, 17 years ago)

Unified diff adding gmp variant to www/php5 Portfile.

  • Portfile

    old new  
    315315                --enable-sockets
    316316}
    317317
     318variant gmp {
     319  depends_lib-append \
     320    port:gmp
     321  configure.args-append \
     322    --with-gmp=${prefix}
     323}
     324
    318325destroot.args \
    319326        INSTALL_ROOT=${destroot}
    320327