>> >> creating /usr/local2 is a good choice > > You can even keep it out of /usr employing the /opt "Linuxism". :-) > no matter what's the name, but it's good to have /usr/local for ports-based installed things /some/other/directory for hand-installed things so both base system and ports are clearly separated