mirror of
https://github.com/php/php-src.git
synced 2024-12-14 20:33:36 +08:00
15 lines
489 B
JavaScript
15 lines
489 B
JavaScript
// $Id$
|
|
// vim:ft=javascript
|
|
|
|
ARG_WITH("pdo-mysql", "MySQL support for PDO", "no");
|
|
|
|
if (PHP_PDO_MYSQL != "no") {
|
|
if (CHECK_LIB("libmysql.lib", "pdo_mysql", PHP_PDO_MYSQL) &&
|
|
CHECK_HEADER_ADD_INCLUDE("mysql.h", "CFLAGS_PDO_MYSQL", PHP_PHP_BUILD + "\\include\\mysql;" + PHP_PDO_MYSQL)) {
|
|
EXTENSION("pdo_mysql", "pdo_mysql.c mysql_driver.c mysql_statement.c");
|
|
} else {
|
|
WARNING("pdo_mysql not enabled; libraries and headers not found");
|
|
}
|
|
ADD_EXTENSION_DEP('pdo_mysql', 'pdo');
|
|
}
|