mirror of
https://github.com/php/php-src.git
synced 2024-12-12 03:15:29 +08:00
dom5 = dom
This commit is contained in:
parent
b97ce9d19f
commit
1aa6e3fee3
@ -28,14 +28,14 @@ if test -z "$PHP_ZLIB_DIR"; then
|
||||
[ --with-zlib-dir[=DIR] DOM: Set the path to libz install prefix.], no, no)
|
||||
fi
|
||||
|
||||
if test "$PHP_DOM5" != "no"; then
|
||||
if test "$PHP_DOM" != "no"; then
|
||||
|
||||
DOM_DIR_ADD=""
|
||||
if test -r $PHP_DOM5/include/libxml2/libxml/tree.h; then
|
||||
DOM_DIR=$PHP_DOM5
|
||||
if test -r $PHP_DOM/include/libxml2/libxml/tree.h; then
|
||||
DOM_DIR=$PHP_DOM
|
||||
DOM_DIR_ADD="/libxml2"
|
||||
elif test -r $PHP_DOM5/include/libxml/tree.h; then
|
||||
DOM_DIR=$PHP_DOM5
|
||||
elif test -r $PHP_DOM/include/libxml/tree.h; then
|
||||
DOM_DIR=$PHP_DOM
|
||||
else
|
||||
for i in /usr/local /usr; do
|
||||
test -r $i/include/libxml/tree.h && DOM_DIR=$i
|
||||
|
Loading…
Reference in New Issue
Block a user