mirror of
https://github.com/php/php-src.git
synced 2024-09-23 02:47:26 +00:00
18 lines
698 B
JavaScript
18 lines
698 B
JavaScript
// $Id$
|
|
// vim:ft=javascript
|
|
|
|
ARG_WITH("dba", "DBA support", "no");
|
|
|
|
if (PHP_DBA != "no") {
|
|
if (CHECK_LIB("libdb31s.lib", "dba", PHP_DBA) &&
|
|
CHECK_HEADER_ADD_INCLUDE("db.h", "CFLAGS_DBA")) {
|
|
EXTENSION("dba", "dba.c dba_cdb.c dba_db2.c dba_db3.c dba_dbm.c dba_flatfile.c dba_gdbm.c dba_ndbm.c");
|
|
ADD_SOURCES("ext/dba/libcdb", "cdb.c cdb_make.c uint32.c", "dba");
|
|
ADD_SOURCES("ext/dba/libflatfile", "flatfile.c", "dba");
|
|
AC_DEFINE('HAVE_DBA', 1, 'DBA support');
|
|
ADD_FLAG("CFLAGS_DBA", "/D DBA_DB3=1 /D DB3_INCLUDE_FILE=\"\\\"db.h\\\"\" /D DBA_FLATFILE=1 /D DBA_CDB=1 /D DBA_CDB_MAKE=1 /D DBA_CDB_BUILTIN=1");
|
|
} else {
|
|
WARNING("dba not enabled; libraries and headers not found");
|
|
}
|
|
}
|