ports/Mk/bsd.port.mk Verifying install for - to call REinstall

[Julian H. Stacey]

Hi ports at freebsd.org
While making my standard collection of ports on 8.4-RELEASE
(yes I also have 9.2 & 10 on other partitions on some but not all hosts)
I saw numerous examples similar to:

cd /usr/ports/multimedia/ogmrip ; make
===>   ogmrip-1.0.0 depends on executable: mencoder - found
===>   ogmrip-1.0.0 depends on executable: mplayer - found
===>   ogmrip-1.0.0 depends on executable: gsed - not found
===>    Verifying install for gsed in /usr/ports/textproc/gsed
===>   Returning to build of ogmrip-1.0.0

... & a later fail with eg gsed not found
	(why not found I'm not sure, as I started with a new empty /usr/local/
	 but why is irrelevant, it should recover)
	(in this case, a manual make in 
		/pri/FreeBSD/branches/-current/ports/textproc/gsed
	 solved it, but that's an exception to the general case, 
	 & also irrelevant)

Wouldn't it be better if we had a make reinstall in dependency 
(eg textproc/gsed) not just
a make install which presumably just looks at dependency
textproc/gsed/work/.install_done.sed._usr_local & 
doesnt try to install the binary we already know IS missing.

I'm not clear how to do reinstall instead of install via Mk/ ?
But it's somewhere around here:

vi -c'/^_INSTALL_DEPENDS=' /usr/ports/Mk/bsd.port.mk

Called from ${_INSTALL_DEPENDS} in fragment:
		if [ $$notfound != 0 ]; then \
			${ECHO_MSG} "===>    Verifying $$target for $$prog in $$dir"; \
			if [ ! -d "$$dir" ]; then \
				${ECHO_MSG} "     => No directory for $$prog.  Skipping.."; \
			else \
				${_INSTALL_DEPENDS} \
			fi; \

Cheers,
Julian
-- 
Julian Stacey, BSD Linux Unix'78 C Sys Eng Consultant Munich http://berklix.com
		Interleave reply paragraphs like a play script.
 http://berklix.eu/pirates/ - A daft name but good ideas, read before voting.