Add CONFIGURE_ARGS option for port in make.conf

[Matthias Kellermann]

Polytropon wrote:
> As it has been mentioned before, /etc/make.conf is read
> first with your +=, setting CONFIGURE_ARGS to only this
> one value. Then, Makefile of the port is read, and it
> has a = in it, not a +=, so CONFIGURE_ARGS is overwritten
> and your setting is gone.
> 
> Hint:
> 
> Maybe the Makefile.local mechanism of the ports is still
> available. Then, you would add your += directive in a file
> called Makefile.local in the port's directory. As far is I
> know, Makefile.local is read after Makefile, so you can
> profit from settings done in the first mentioned place.
Thanks for your hint. This worked fine.

Nevertheless it would be a good thing to keep this kind of port
modifications in a central place.

Regards,
Matthias