summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnatol Belski <ab@php.net>2016-01-15 12:17:40 +0100
committerAnatol Belski <ab@php.net>2016-01-15 12:45:57 +0100
commit91545ce3a2b097c9b1676344d8e60103c00a8c07 (patch)
treeb4e0ae38117fa198048d99399d0dfc534507805c
parent3169d473e907448abd710fa635e239358acadfd1 (diff)
downloadphp-git-91545ce3a2b097c9b1676344d8e60103c00a8c07.tar.gz
add WinEditLine support for CLI
-rw-r--r--sapi/cli/config.w325
1 files changed, 5 insertions, 0 deletions
diff --git a/sapi/cli/config.w32 b/sapi/cli/config.w32
index 664394c8a6..c6409b59df 100644
--- a/sapi/cli/config.w32
+++ b/sapi/cli/config.w32
@@ -12,6 +12,11 @@ if (PHP_CLI == "yes") {
ADD_FLAG("CFLAGS_CLI", "/D PHP_WIN32_DEBUG_HEAP");
}
ADD_FLAG("LDFLAGS_CLI", "/stack:67108864");
+
+ if (CHECK_LIB("edit_a.lib;edit.lib", "cli", PHP_CLI) &&
+ CHECK_HEADER_ADD_INCLUDE("editline/readline.h", "CFLAGS_CLI")) {
+ ADD_FLAG("CFLAGS_CLI", "/D HAVE_LIBEDIT");
+ }
}
if (PHP_CLI_WIN32 == "yes") {