/usr/local/share/mk ?

[Kris Kennaway]

On Thu, Feb 01, 2007 at 11:17:27AM -0800, Luigi Rizzo wrote:
> I have a port (the one mentioned in my previous msg)
> which needs to install its own make's include file,
> bsd.linux_kmod.mk , and I thought that there was
> a system-wide place such as ${PREFIX}/share/mk
> where the port could install the file in the first place,
> and where make would look for it by default.
> 
> But apparently i was wrong on both things...
> Now maybe the extra search path can be set with some
> system-wide option in /etc/make.conf (through .PATH ?)
> but then the problem to settle on one a name
> for /usr/local/share/mk remains...

You're right that there is no support for this.  Can you explain why
you need it?

Kris