![]() ![]() | ![]() |
version 1.1.1.2, 2012/05/29 12:34:41 | version 1.1.1.3, 2013/10/14 08:02:28 |
---|---|
Line 27 if test "$PHP_PHAR" != "no"; then | Line 27 if test "$PHP_PHAR" != "no"; then |
PHP_ADD_EXTENSION_DEP(phar, hash, true) | PHP_ADD_EXTENSION_DEP(phar, hash, true) |
PHP_ADD_EXTENSION_DEP(phar, spl, true) | PHP_ADD_EXTENSION_DEP(phar, spl, true) |
PHP_ADD_MAKEFILE_FRAGMENT | PHP_ADD_MAKEFILE_FRAGMENT |
PHP_OUTPUT(ext/phar/phar.1 ext/phar/phar.phar.1) | |
fi | fi |