com php-src: config.w32 for ext/readline: ext/readline/config.w32
| From: | Anatol Belski | Date: | Fri, 15 Jan 2016 11:45:53 +0000 |
| Subject: | com php-src: config.w32 for ext/readline: ext/readline/config.w32 | ||
| Groups: | php.cvs | ||
| Request: | Send a blank email to php-cvs+get-90663@lists.php.net to get a copy of this message | ||
Commit: 9ac3b751167a1e09314a22cd42990c79fe402a80
Author: Anatol Belski <ab@php.net> Fri, 15 Jan 2016 11:49:14 +0100
Parents: 400a6a4ccb02fc22b287006e3b769e36159aa711
Branches: master
Link: http://git.php.net/?p=php-src.git;a=commitdiff;h=9ac3b751167a1e09314a22cd42990c79fe402a80
Log:
config.w32 for ext/readline
Changed paths:
A ext/readline/config.w32
Diff:
diff --git a/ext/readline/config.w32 b/ext/readline/config.w32
new file mode 100644
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");
+ }
+}
+