1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

Fix building ext/dom in directory other than src (#12671)

This commit is contained in:
Niels Dossche
2023-11-14 18:23:10 +00:00
committed by GitHub
parent c3e98092df
commit 50c2a9305c

View File

@@ -38,6 +38,16 @@ if test "$PHP_DOM" != "no"; then
namednodemap.c \
$LEXBOR_SOURCES],
$ext_shared,,$PHP_LEXBOR_CFLAGS)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/ports/posix/lexbor/core)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/core)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/dom/interfaces)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/html/tree/insertion_mode)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/html/tokenizer)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/html/interfaces)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/encoding)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/selectors)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/ns)
PHP_ADD_BUILD_DIR($ext_builddir/$LEXBOR_DIR/tag)
PHP_SUBST(DOM_SHARED_LIBADD)
PHP_INSTALL_HEADERS([ext/dom/xml_common.h])
PHP_ADD_EXTENSION_DEP(dom, libxml)