building a port with very long list of build options

[Warren Block]

On Sun, 24 Apr 2011, Carl wrote:
>
> As for manually customizing /var/db/ports/<portname>/options, the port builds 
> in question are done in a clean chroot using a batch process, so "make 
> config" doesn't happen and /var/db/ports/<portname>/options never exists.

Why not just

make `cat options.txt`

Where options.txt is

NOPORTDOCS=yes
NOPORTEXAMPLES=yes
...