Bug #74686 [Opn->Fbk]: ./configure does not respect --prefix for libxml2 (specifically xml2-config)
| From: | danack@php.net | Date: | Thu, 01 Jun 2017 09:58:48 +0000 |
| Subject: | Bug #74686 [Opn->Fbk]: ./configure does not respect --prefix for libxml2 (specifically xml2-config) | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-209338@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=74686&edit=1
ID: 74686
Updated by: danack@php.net
Reported by: jonas at ogaard dot no
Summary: ./configure does not respect --prefix for libxml2
(specifically xml2-config)
-Status: Open
+Status: Feedback
Type: Bug
Package: Compile Failure
Operating System: Red Hat 4.4.7-17
PHP Version: 7.1.5
Block user comment: N
Private report: N
New Comment:
> but this can't possibly be intended functionality
.....why not?
PHP uses lots of libraries. Each of them need to have a flag that says which directory they are in,
which is why you can specify the library location per extension (i.e. --with-libxml-dir,
--with-imagick)
I'm pretty sure that prefix is to tell the compilation process where to build files to, not to
read them from: "--prefix=PREFIX install architecture-independent files in PREFIX
[/usr/local]"
Feel free to explain further if you think this is a bug, or just allow it to close if that's
enough explanation.
Previous Comments:
------------------------------------------------------------------------
[2017-06-01 09:48:51] jonas at ogaard dot no
Description:
------------
If libxml2 lies in an unconventional prefix-path $PREFIX, running ./configure --prefix=$PREFIX does
not make the build script search $PREFIX/usr/local/bin or $PREFIX/usr/bin for xml2-config, but
instead it defaults to /usr/local/bin and /usr/bin . Luckily --with-libxml-dir=$PREFIX resolves
this, but this can't possibly be intended functionality
Test script:
---------------
./configure --prefix=$PREFIX
Expected result:
----------------
Configuration halts due to missing xml2-config file
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=74686&edit=1