Updating Ports on Production Servers

[Andrew Thompson]

On Tue, 2003-06-10 at 18:15, Patrik Forsberg wrote:
> 
> What a "make deinstall" aculy does is a pkg_delete, so what you could do
> is a pkg_delete <old-package-name> and then "make install" the new
> package.
>
> The bad part about using portupgrade is that you can't specify any
> "special" make parameters if you use any - perhaps I haven't dug deap
> enough into portupgrade to find out how but from what I've seen you
> can't. So if you use any make params to the port I'd surgest doing a
> "pkg_delete <port-name>" and then "make install" it rather then using
> portupgrade.
> 

Oh, you are quite mistaken. make args are one of its strong points :)

Firstly you can use -m on the command line. But even better is
pkgtools.conf where you can store the parameters permanently, no need to
remember them or retype next time you upgrade.

Here is a snippet from mine:
 MAKE_ARGS = {
        'www/mozilla' =>        '-DWITH_GTK2'
 }


Andy