On 22/09/2017 20:55, Paul Schmehl wrote: > I need to install mediawiki, but I want to install it in a different > location - in my home directory in a directory named wiki. > > I've read about DESTDIR, but I'm not certain that will work as I intend. > If I run make install DESTDIR=/homedir/wiki, will the port install as > /homedir/wiki/mediawiki? Or will it install in /homedir/wiki?
The variable you want is ${PREFIX}. Try setting PREFIX=${HOME} -- you
should find mediawiki installs into ${HOME}/www/mediawiki
Note: you should still install any dependencies for mediawiki using the
standard PREFIX setting of /usr/local. You can move those too, but in
that case you will also need to set LOCALBASE so the port searches for
its dependencies in your non-standard location. (From each ports'
perspective LOCALBASE is where pre-existing stuff comes from and PREFIX
is where new stuff goes to.)
Cheers,
Matthew
signature.asc
Description: OpenPGP digital signature
