diff options
| -rw-r--r-- | ext/mysql/config.w32 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ext/mysql/config.w32 b/ext/mysql/config.w32 new file mode 100644 index 0000000000..87d044d753 --- /dev/null +++ b/ext/mysql/config.w32 @@ -0,0 +1,14 @@ +// $Id$ +// vim:ft=javascript + +ARG_WITH("mysql", "MySQL support", "no"); + +if (PHP_MYSQL != "no") { + if (CHECK_LIB("libmysql.lib", "mysql", PHP_MYSQL) && + CHECK_HEADER_ADD_INCLUDE("mysql.h", "CFLAGS_MYSQL", PHP_PHP_BUILD + "\\include\\mysql;" + PHP_MYSQL)) { + EXTENSION("mysql", "php_mysql.c"); + AC_DEFINE('HAVE_MYSQL', 1, 'Have MySQL library'); + } else { + WARNING("mysql not enabled; libraries and headers not found"); + } +} |