diff options
author | Anatol Belski <ab@php.net> | 2016-01-15 11:49:14 +0100 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2016-01-15 12:45:53 +0100 |
commit | 9ac3b751167a1e09314a22cd42990c79fe402a80 (patch) | |
tree | e44b3c8c9f3204387224ce57cab52af0792cfeca /ext/readline/config.w32 | |
parent | 400a6a4ccb02fc22b287006e3b769e36159aa711 (diff) | |
download | php-git-9ac3b751167a1e09314a22cd42990c79fe402a80.tar.gz |
config.w32 for ext/readline
Diffstat (limited to 'ext/readline/config.w32')
-rw-r--r-- | ext/readline/config.w32 | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ext/readline/config.w32 b/ext/readline/config.w32 new file mode 100644 index 0000000000..482c99cc04 --- /dev/null +++ b/ext/readline/config.w32 @@ -0,0 +1,16 @@ +// $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"); + } +} + |