clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-23 10:57:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'PHP-7.2'

Browse Source 
* PHP-7.2:
  add missing makefile fragment for .w32
This commit is contained in:
Anatol Belski 2017-07-28 07:30:23 +02:00
commit 87192f0fab
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ext/phar/Makefile.frag.w32 Normal file
View File

@ -0,0 +1,5 @@
ext/phar/phar_path_check.c: ext/phar/phar_path_check.re
cd $(PHP_SRC_DIR)
$(RE2C) --no-generation-date -b -o ext/phar/phar_path_check.c ext/phar/phar_path_check.re

2
ext/phar/config.w32
View File

@ -43,4 +43,6 @@ if (PHP_PHAR != "no") {
}
}
ADD_EXTENSION_DEP('phar', 'spl', true);
ADD_MAKEFILE_FRAGMENT();
}