config.w32 831 B

12345678910111213141516171819
  1. ARG_ENABLE('phpdbg', 'Build phpdbg', 'no');
  2. ARG_ENABLE('phpdbgs', 'Build phpdbg shared', 'no');
  3. 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 phpdbg_set.c phpdbg_frame.c phpdbg_watch.c phpdbg_win.c phpdbg_btree.c phpdbg_parser.c phpdbg_lexer.c';
  4. PHPDBG_DLL='php' + PHP_VERSION + 'phpdbg.dll';
  5. PHPDBG_EXE='phpdbg.exe';
  6. if (PHP_PHPDBG == "yes") {
  7. SAPI('phpdbg', PHPDBG_SOURCES, PHPDBG_EXE);
  8. ADD_FLAG("LIBS_PHPDBG", "ws2_32.lib user32.lib");
  9. ADD_FLAG("CFLAGS_PHPDBG", "/D YY_NO_UNISTD_H");
  10. }
  11. if (PHP_PHPDBGS == "yes") {
  12. SAPI('phpdbgs', PHPDBG_SOURCES, PHPDBG_DLL, '/D PHP_PHPDBG_EXPORTS /I win32');
  13. ADD_FLAG("LIBS_PHPDBGS", "ws2_32.lib user32.lib");
  14. ADD_FLAG("CFLAGS_PHPDBGS", "/D YY_NO_UNISTD_H");
  15. }