mirror of
https://github.com/php/php-src.git
synced 2024-09-29 22:06:09 +00:00
17 lines
499 B
JavaScript
17 lines
499 B
JavaScript
// $Id$
|
|
// vim:ft=javascript
|
|
|
|
ARG_WITH("readline", "Readline support", "yes");
|
|
|
|
if (PHP_READLINE != "no") {
|
|
if (CHECK_LIB("edit_a.lib;edit.lib", "readline", PHP_READLINE) &&
|
|
CHECK_HEADER_ADD_INCLUDE("editline/readline.h", "CFLAGS_READLINE")) {
|
|
EXTENSION("readline", "readline.c readline_cli.c");
|
|
ADD_FLAG("CFLAGS_READLINE", "/D HAVE_LIBEDIT");
|
|
ADD_FLAG("CFLAGS_READLINE", "/D HAVE_RL_COMPLETION_MATCHES");
|
|
} else {
|
|
WARNING("readline not enabled; libraries and headers not found");
|
|
}
|
|
}
|
|
|