php-src/ext/readline/config.w32

16 lines
545 B
Plaintext
Raw Normal View History

2016-01-15 10:49:14 +00:00
// 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");
ADD_FLAG("CFLAGS_READLINE", "/D HAVE_HISTORY_LIST");
2016-01-15 10:49:14 +00:00
} else {
WARNING("readline not enabled; libraries and headers not found");
}
}