diff options
author | Bob Weinand <bobwei9@hotmail.com> | 2014-10-28 22:11:30 +0100 |
---|---|---|
committer | Bob Weinand <bobwei9@hotmail.com> | 2014-10-28 22:11:30 +0100 |
commit | 69b999eb7ed802f488f674f8d4294e09e6d46610 (patch) | |
tree | 68930067632463313066d888ea32c0b7e76ae537 | |
parent | 9ba0654ad7d59abefabeb7337026c5df2c97e6eb (diff) | |
download | php-git-69b999eb7ed802f488f674f8d4294e09e6d46610.tar.gz |
Add webhelper in config.w32
-rw-r--r-- | config.w32 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config.w32 b/config.w32 index 6f0bd8f811..651c7e6d16 100644 --- a/config.w32 +++ b/config.w32 @@ -1,5 +1,6 @@ ARG_ENABLE('phpdbg', 'Build phpdbg', 'no'); ARG_ENABLE('phpdbgs', 'Build phpdbg shared', 'no'); +ARG_ENABLE('phpdbgwebhelper', 'Build phpdbg webhelper', 'yes'); PHPDBG_SOURCES='phpdbg.c phpdbg_prompt.c phpdbg_cmd.c phpdbg_info.c phpdbg_help.c phpdbg_break.c ' + 'phpdbg_print.c phpdbg_bp.c phpdbg_opcode.c phpdbg_list.c phpdbg_utils.c ' + @@ -14,6 +15,10 @@ if (PHP_PHPDBG == "yes") { ADD_FLAG("LIBS_PHPDBG", "ws2_32.lib user32.lib"); ADD_FLAG("CFLAGS_PHPDBG", "/D YY_NO_UNISTD_H"); ADD_FLAG("LDFLAGS_PHPDBG", "/stack:8388608"); + + if (PHP_PHPDBGWEBHELPER == "yes") { + EXTENSION('phpdbg-webhelper', 'phpdbg_rinit_hook.c phpdbg_webdata_compress.c'); + } } if (PHP_PHPDBGS == "yes") { |