From: Anatol Belski <ab@php.net>
Date: Fri, 15 Jan 2016 10:49:14 +0000 (+0100)
Subject: config.w32 for ext/readline
X-Git-Tag: php-7.2.0alpha1~620^2~132
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=9ac3b751167a1e09314a22cd42990c79fe402a80;p=php

config.w32 for ext/readline
---

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");
+	}
+}
+