]> granicus.if.org Git - php/commitdiff
add missing makefile fragment for .w32
authorAnatol Belski <ab@php.net>
Fri, 28 Jul 2017 00:34:51 +0000 (02:34 +0200)
committerAnatol Belski <ab@php.net>
Fri, 28 Jul 2017 05:26:11 +0000 (07:26 +0200)
ensure correct dir

ext/phar/Makefile.frag.w32 [new file with mode: 0644]
ext/phar/config.w32

diff --git a/ext/phar/Makefile.frag.w32 b/ext/phar/Makefile.frag.w32
new file mode 100644 (file)
index 0000000..1ff8282
--- /dev/null
@@ -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
+
index 6dba20affb2cd43eb8a0724addb9ed70cae0d8bc..d4f8585c204400ae3c0481e407bd4bbdacdbb8ff 100644 (file)
@@ -43,4 +43,6 @@ if (PHP_PHAR != "no") {
                }
        }
        ADD_EXTENSION_DEP('phar', 'spl', true);
+
+       ADD_MAKEFILE_FRAGMENT();
 }