php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Request #14387 DESTDIR option to make
Submitted: 2001-12-08 17:47 UTC Modified: 2002-04-17 17:38 UTC
From: sterling@php.net Assigned:
Status: Not a bug Package: Feature/Change Request
PHP Version: 4.1.0 OS: All
Private report: No CVE-ID: None
View Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
If you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: sterling@php.net
New email:
PHP Version: OS:

 

 [2001-12-08 17:47 UTC] sterling@php.net
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

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2002-04-17 17:38 UTC] sterling@php.net
Set the INSTALL_ROOT butthead:

]$ INSTALL_ROOT=/home/sterling/tmp make install

many thanks to snoopy, err, sniper :)
 
PHP Copyright © 2001-2025 The PHP Group
All rights reserved.
Last updated: Wed May 07 23:01:27 2025 UTC