Re: Document for OPTIONS syntax in /etc/make.conf, where to find?

2017-05-26 Thread Thomas Mueller
> On 25 May 2017 at 19:47, Thomas Mueller wrote: [...] > > The new synth has no mechanism for configuring options; I guess that would > > have to be done by > > make config-recursive , > > possibly several times until there is nothing more left to configure, as I > > did

Re: Document for OPTIONS syntax in /etc/make.conf, where to find?

2017-05-25 Thread Jonathan Chen
On 25 May 2017 at 19:47, Thomas Mueller wrote: [...] > The new synth has no mechanism for configuring options; I guess that would > have to be done by > make config-recursive , > possibly several times until there is nothing more left to configure, as I > did when using

Re: Document for OPTIONS syntax in /etc/make.conf, where to find?

2017-05-25 Thread Thomas Mueller
> > On 24 May, 2017, at 21:52, Thomas Mueller wrote: > > Where do I find documentation so I get the correct syntax for setting ports > > options in /etc/make.conf ? > > I tried "man ports", "man make", "man make.conf", and the online Porters' > > Handbook but have been

Re: Document for OPTIONS syntax in /etc/make.conf, where to find?

2017-05-25 Thread Adam Weinberger
> On 24 May, 2017, at 21:52, Thomas Mueller wrote: > > Where do I find documentation so I get the correct syntax for setting ports > options in /etc/make.conf ? > > I tried "man ports", "man make", "man make.conf", and the online Porters' > Handbook but have been unable

Document for OPTIONS syntax in /etc/make.conf, where to find?

2017-05-24 Thread Thomas Mueller
Where do I find documentation so I get the correct syntax for setting ports options in /etc/make.conf ? I tried "man ports", "man make", "man make.conf", and the online Porters' Handbook but have been unable to find the needle in the haystack. NetBSD pkgsrc and Gentoo (Linux) portage document