xref: /PHP-7.2/ext/readline/config.w32 (revision 60a69dae)
1// $Id$
2// vim:ft=javascript
3
4ARG_WITH("readline", "Readline support", "yes");
5
6if (PHP_READLINE != "no") {
7	if (CHECK_LIB("edit_a.lib;edit.lib", "readline", PHP_READLINE) &&
8		CHECK_HEADER_ADD_INCLUDE("editline/readline.h", "CFLAGS_READLINE")) {
9		EXTENSION("readline", "readline.c readline_cli.c");
10		ADD_FLAG("CFLAGS_READLINE", "/D HAVE_LIBEDIT");
11		ADD_FLAG("CFLAGS_READLINE", "/D HAVE_RL_COMPLETION_MATCHES");
12	} else {
13		WARNING("readline not enabled; libraries and headers not found");
14	}
15}
16