config.w32 for ext/readline

diff --git a/ext/readline/config.w32 b/ext/readline/config.w32
new file mode 100644 (file)
index 0000000..482c99c
--- /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");
+       }
+}
+