Bug #14387: DESTDIR option to make
| From: | sterling@php.net | Date: | Sat, 08 Dec 2001 22:47:14 +0000 |
| Subject: | Bug #14387: DESTDIR option to make | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-73105@lists.php.net to get a copy of this message | ||
From: sterling@php.net
Operating system: All
PHP version: 4.1.0
PHP Bug Type: Feature/Change Request
Bug description: DESTDIR option to make
Something similair to Apache's DESTDIR option to make would be great, when
building PHP to be distributed on a cluster of webservers, you often have a
test environment where you're not root -- In these cases, you need to test
your php installation (with appropriate paths, such as /usr/local/lib/php).
However, you need the data to be installed in your home directory.
ie,
make install :=
/usr/lib/php/PEAR.php
/usr/bin/php
etc.
make install DESTDIR=/home/sterling
/home/sterling/usr/lib/php/PEAR.php
/home/sterling/usr/bin/php
--
Edit bug report at: http://bugs.php.net/?id=14387&edit=1