Installing ports in other places

Paul Schmehl pschmehl_lists at
Fri Sep 22 18:55:19 UTC 2017

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?

Paul Schmehl, Retired
As if it wasn't already obvious, my opinions
are my own and not those of my employer.
"It is as useless to argue with those who have
renounced the use of reason as to administer
medication to the dead." Thomas Jefferson
"There are some ideas so wrong that only a very
intelligent person could believe in them." George Orwell

More information about the freebsd-ports mailing list