mirror of
https://github.com/php/php-src.git
synced 2026-10-28 17:56:50 +08:00
31 lines
1.2 KiB
JavaScript
31 lines
1.2 KiB
JavaScript
// vim:ft=javascript
|
|
|
|
ARG_ENABLE('cli', 'Build CLI version of PHP', 'yes');
|
|
ARG_ENABLE('cli-win32', 'Build console-less CLI version of PHP', 'no');
|
|
|
|
// The embed SAPI requires the CLI sources for do_php_cli().
|
|
if (PHP_EMBED != "no" && PHP_CLI != "yes") {
|
|
ERROR("--enable-embed requires the CLI SAPI, do not use --disable-cli with --enable-embed");
|
|
}
|
|
|
|
if (PHP_CLI == "yes") {
|
|
SAPI('cli', 'php_cli.c php_cli_main.c php_http_parser.c php_cli_server.c', 'php.exe', '/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1');
|
|
ADD_SOURCES(configure_module_dirname, 'php_cli_process_title.c ps_title.c', 'cli');
|
|
ADD_FLAG("LIBS_CLI", "ws2_32.lib");
|
|
ADD_FLAG("LIBS_CLI", "shell32.lib");
|
|
ADD_FLAG("LDFLAGS_CLI", "/stack:67108864");
|
|
PHP_INSTALL_HEADERS("sapi/cli", "cli.h");
|
|
|
|
if (CHECK_LIB("edit_a.lib;edit.lib", "cli", PHP_CLI) &&
|
|
CHECK_HEADER("editline/readline.h", "CFLAGS_CLI")) {
|
|
ADD_FLAG("CFLAGS_CLI", "/D HAVE_LIBEDIT");
|
|
}
|
|
}
|
|
|
|
if (PHP_CLI_WIN32 == "yes") {
|
|
SAPI('cli_win32', 'cli_win32.c', 'php-win.exe', '/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1');
|
|
ADD_SOURCES(configure_module_dirname, ' php_cli_process_title.c ps_title.c', 'cli_win32', undefined, PHP_CLI == "yes");
|
|
ADD_FLAG("LDFLAGS_CLI_WIN32", "/stack:67108864");
|
|
ADD_FLAG("LIBS_CLI_WIN32", "shell32.lib");
|
|
}
|