2 patches for ports/Mk
Today (actually yesterday) I sent two patches for our ports infrastructure. One of them is the DESTDIR support. I think everything is done for the infrastructure, but as I said before, some individual ports have to be fixed as well. I did a big effort so that we have to fix the least of them. Erwin took my patches and started to set up an -exp run on the cluster to test if my patch doesn’t break anything if DESTDIR is not set. We will discuss the further things after that.
My another patch makes some standardization and cleanup with ECHO_MSG and ECHO_CMD macros in bsd.port.mk. ECHO_MSG should be used when printing relevant output for the user, while ECHO_CMD should be used mostly internally, e.g. for command-line pipelineing. Accordingly, one should be able to print relevant messages with colors by overriding ECHO_MSG or to write a wrapper for these texts, etc.