@@ -1373,6 +1373,13 @@ function ADD_EXTENSION_DEP(extname, dependson, optional)
1373
1373
1374
1374
var static_pgo_enabled = false ;
1375
1375
1376
+ function ZEND_EXTENSION ( extname , file_list , shared , cflags , dllname , obj_dir )
1377
+ {
1378
+ EXTENSION ( extname , file_list , shared , cflags , dllname , obj_dir ) ;
1379
+
1380
+ extensions_enabled [ extensions_enabled . length - 1 ] [ 2 ] = true ;
1381
+ }
1382
+
1376
1383
function EXTENSION ( extname , file_list , shared , cflags , dllname , obj_dir )
1377
1384
{
1378
1385
var objs = null ;
@@ -1509,7 +1516,8 @@ function EXTENSION(extname, file_list, shared, cflags, dllname, obj_dir)
1509
1516
}
1510
1517
ADD_FLAG ( "CFLAGS_" + EXT , cflags ) ;
1511
1518
1512
- extensions_enabled [ extensions_enabled . length ] = [ extname , shared ? 'shared' : 'static' ] ;
1519
+ // [extname, shared, zend]
1520
+ extensions_enabled [ extensions_enabled . length ] = [ extname , shared ? 'shared' : 'static' , false ] ;
1513
1521
}
1514
1522
1515
1523
function ADD_SOURCES ( dir , file_list , target , obj_dir )
@@ -1870,14 +1878,42 @@ function output_as_table(header, ar_out)
1870
1878
STDOUT . WriteLine ( sep ) ;
1871
1879
}
1872
1880
1881
+ function write_extensions_summary ( )
1882
+ {
1883
+ var exts = new Array ( ) ;
1884
+ var zend_exts = new Array ( ) ;
1885
+
1886
+ for ( var x = 0 ; x < extensions_enabled . length ; ++ x )
1887
+ {
1888
+ var l = extensions_enabled [ x ] ;
1889
+
1890
+ if ( l [ 2 ] )
1891
+ {
1892
+ zend_exts . push ( [ l [ 0 ] , l [ 1 ] ] ) ;
1893
+ }
1894
+ else
1895
+ {
1896
+ exts . push ( [ l [ 0 ] , l [ 1 ] ] ) ;
1897
+ }
1898
+ }
1899
+
1900
+ STDOUT . WriteLine ( 'Enabled extensions:' ) ;
1901
+ output_as_table ( [ 'Extension' , 'Mode' ] , exts . sort ( ) ) ;
1902
+
1903
+ if ( zend_exts . length )
1904
+ {
1905
+ STDOUT . WriteBlankLines ( 2 ) ;
1906
+ STDOUT . WriteLine ( 'Enabled Zend extensions:' ) ;
1907
+ output_as_table ( [ 'Extension' , 'Mode' ] , zend_exts . sort ( ) ) ;
1908
+ }
1909
+ }
1910
+
1873
1911
function write_summary ( )
1874
1912
{
1875
1913
var ar = new Array ( ) ;
1876
1914
1877
1915
STDOUT . WriteBlankLines ( 2 ) ;
1878
-
1879
- STDOUT . WriteLine ( "Enabled extensions:" ) ;
1880
- output_as_table ( [ "Extension" , "Mode" ] , extensions_enabled . sort ( ) ) ;
1916
+ write_extensions_summary ( ) ;
1881
1917
STDOUT . WriteBlankLines ( 2 ) ;
1882
1918
if ( ! MODE_PHPIZE ) {
1883
1919
STDOUT . WriteLine ( "Enabled SAPI:" ) ;
@@ -1947,8 +1983,10 @@ function generate_tmp_php_ini()
1947
1983
continue ;
1948
1984
}
1949
1985
1950
- var directive = "extension" ;
1951
- if ( "opcache" == extensions_enabled [ i ] [ 0 ] || "xdebug" == extensions_enabled [ i ] [ 0 ] ) {
1986
+ var directive = ( extensions_enabled [ i ] [ 2 ] ? 'zend_extension' : 'extension' ) ;
1987
+
1988
+ // FIXME: Remove this once ZEND_EXTENSION() is merged to XDEBUG
1989
+ if ( "xdebug" == extensions_enabled [ i ] [ 0 ] ) {
1952
1990
directive = "zend_extension" ;
1953
1991
}
1954
1992
@@ -1962,7 +2000,7 @@ function generate_tmp_php_ini()
1962
2000
}
1963
2001
}
1964
2002
1965
- INI . Close ( ) ; ;
2003
+ INI . Close ( ) ;
1966
2004
}
1967
2005
1968
2006
function generate_files ( )
0 commit comments