diff options
Diffstat (limited to 'ext')
| -rw-r--r-- | ext/phar/Makefile.frag.w32 | 5 | ||||
| -rw-r--r-- | ext/phar/config.w32 | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/ext/phar/Makefile.frag.w32 b/ext/phar/Makefile.frag.w32 new file mode 100644 index 0000000000..1ff82826df --- /dev/null +++ b/ext/phar/Makefile.frag.w32 @@ -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 + diff --git a/ext/phar/config.w32 b/ext/phar/config.w32 index 6dba20affb..d4f8585c20 100644 --- a/ext/phar/config.w32 +++ b/ext/phar/config.w32 @@ -43,4 +43,6 @@ if (PHP_PHAR != "no") { } } ADD_EXTENSION_DEP('phar', 'spl', true); + + ADD_MAKEFILE_FRAGMENT(); } |