Ticket #60105: enable-opcache-file.diff

File enable-opcache-file.diff, 1.3 KB (added by iEFdev, 4 years ago)

  • lang/php/Portfile 

    diff --git a/lang/php/Portfile b/lang/php/Portfile
index 313d4a620e1..a60794c7988 100644
    a b if {[vercmp ${branch} 5.5] >= 0} { 
    14481448        switch -- ${version} {
    14491449            5.5.38              {revision 1}
    14501450            5.6.40              {revision 1}
    1451             7.0.33              {revision 0}
    1452             7.1.33              {revision 0}
    1453             7.2.29              {revision 0}
    1454             7.3.16              {revision 0}
    1455             7.4.4               {revision 0}
     1451            7.0.33              {revision 1}
     1452            7.1.33              {revision 1}
     1453            7.2.29              {revision 1}
     1454            7.3.16              {revision 1}
     1455            7.4.4               {revision 1}
    14561456        }
    14571457
    14581458        php.extensions.zend opcache
    … … if {[vercmp ${branch} 5.5] >= 0} { 
    14631463       
    14641464        long_description    ${description}
    14651465       
    1466         configure.args-append --enable-opcache
    1467        
     1466        configure.args-append   --enable-opcache
     1467
     1468        # file based opcode cache was added in 7.0 (3abde432)
     1469        if {[vercmp ${branch} 7.0] >= 0} {
     1470            configure.args-append   --enable-opcache-file
     1471        }
     1472
    14681473        post-destroot {
    14691474            set docdir ${destroot}${prefix}/share/doc/${subport}
    14701475            xinstall -d ${docdir}