Re: changing a ports final destination via make knobs question...

On Tue, Aug 26, 2008 at 06:04:36PM -0500 I heard the voice of
Paul Schmehl, and lo! it spake thus:

If you plan on doing this often, pkgtools.conf is your best bet. If you
plan on doing it once, commandline is probably the easiest and quickest.

I would say using ports-mgmt/portconf would be a better bet, since it
does its thing whether you use make install or portupgrade or
portmaster or portsuperwhatsit. A line like

php5*: PREFIX=/usr/local/php5

should take care of all php5 base/extension ports, wherever in the
tree they end up. Of course, you're still odd in the tricky woods
building PECL stuff or the like, which could go against 4 or 5. But
that's a different mess.


--
Matthew Fuller (MF4839) | fullermd@xxxxxxxxxxxxxxx
Systems/Network Administrator | http://www.over-yonder.net/~fullermd/
On the Internet, nobody can hear you scream.
_______________________________________________
freebsd-stable@xxxxxxxxxxx mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-stable
To unsubscribe, send any mail to "freebsd-stable-unsubscribe@xxxxxxxxxxx"

Relevant Pages

  • Re: unzip
    ... I still need the commandline as I plan to use it in a batch ... Is there a DOS commandline in Windows to expand or decompress a ZIP file ...
    (microsoft.public.windowsxp.general)
  • Re: When is Fillmore 10 CD Box Shipping?
    ... Thus spake dm161mychain616@xxxxxxxxxxxx ... > Original ship date was expected to be 11/15. ... > still the plan? ... Prev by Date: ...
    (rec.music.gdead)