parent root
PHP: Configure options - Manual
PHP 7.2.23 Release Announcement

Configure options

Table of Contents

add a noteadd a note

User Contributed Notes 2 notes

up
-10
squeeNoSpam at NoSpamAddress dot com
17 years ago
[Editor's note: The reason why some general options for the "configure" scripts are not documented is that said script is part of the GNU autoconf tools, and as such its general options are documented elsewhere, e.g.: http://www.gnu.org/manual/autoconf/index.html and http://www.airs.com/ian/configure/. Some are also documented in the INSTALL file that comes with the source distribution.]

The --prefix=PREFIX configure option isn't mentioned here. It apparently defaults to /usr/local, and sets the position of the php includes and libs. (in PREFIX/include/php and PREFIX/lib/php)
up
-21
jovcic ate gseis stop ucla stop edu
14 years ago
If you'e compiling a shared extension (e.g. pspell) whose libs & headers are not in the usual place, use the following:

--with-pspell=shared,/my/custom/path/to/pspell/

Took me forever to figure out, since Google had no answer for me.
To Top
parent root