diff options
| author | Anatol Belski <ab@php.net> | 2017-07-28 02:34:51 +0200 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2017-07-28 07:26:11 +0200 |
| commit | 80d839d25a64cb66db9356dd11e5d23e9457ee62 (patch) | |
| tree | 66af98604c12da6082e7bd9fb768477cdbcb1ca5 /ext | |
| parent | 2ae0dd7f61c4bd35c7f9ea8245d1ea2949497534 (diff) | |
| download | php-git-80d839d25a64cb66db9356dd11e5d23e9457ee62.tar.gz | |
add missing makefile fragment for .w32
ensure correct dir
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(); } |