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 when using portupgrade and later portmaster.

> >From synth(1) man page:
 -make.conf
   This is an optional, user-provided file. If it exists,
   the builder's /etc/make.conf will be appended with the
   contents of this file. For the default profile, the
   file would normally be located at
   /usr/local/etc/synth/LiveSystem-make.conf

> Cheers.

> Jonathan Chen 

Thanks for the tip.

I already have read the man page because I git-cloned synth tree from github 
repository.

I want to keep the Ada code for viewing, among other things.

My first attempt to build synth was on FreeBSD-current amd64 and failed when 
the system rebooted itself when I was sleeping.  Apparently no filesystem 
damage.

System came up in System Rescue CD 5.0.0 USB-stick installation.

I attribute this to FreeBSD-current instability rather than synth or ports, 
meaning I must first rebuild FreeBSD 11.0-STABLE amd64 installation, and then 
from there, FreeBSD-current amd64.

Tom

___
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"

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 portupgrade and later portmaster.

>From synth(1) man page:
 -make.conf
   This is an optional, user-provided file. If it exists,
   the builder's /etc/make.conf will be appended with the
   contents of this file. For the default profile, the
   file would normally be located at
   /usr/local/etc/synth/LiveSystem-make.conf

Cheers.
-- 
Jonathan Chen 
___
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"

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 unable to find the needle in the haystack.

> > NetBSD pkgsrc and Gentoo (Linux) portage document this much better.


> Tom

> You'll find some info in the instructions at the top of 
> /usr/ports/Mk/bsd.options.mk; there's not a lot of info because it's not 
> generally the preferred place to specify options.

> To turn something off by default on all ports (which can always be overridden 
> by make config),
OPTIONS_UNSET=  NLS

> To turn something off which overrides make config,
OPTIONS_UNSET_FORCE=NLS

> You can set options for individual ports in make.conf too, though it's almost 
> always a better idea to run 'make config' or 'poudriere options':
> /usr/ports/editors/vim$ make -V OPTIONS_NAME
> editors_vim

> make.conf:
> editors_vim_UNSET=  NLS
 
# Adam


> Adam Weinberger

While the newer dialog4ports is a big improvement over the previous dialog, it 
is still difficult to go back in case of finger error.

Previous dialog tended to make a mess of the screen, especially when I teed to 
a log file.

Now I have a better idea what to do to set options.

I still have in /etc/make.conf from some time ago,

OPTIONS_SET.mpop=GNUTLS NLS

I guess that would need to be revised to

mail_mpop_set=GNUTLS NLS

if I stay with the same options.

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 portupgrade and later portmaster.

Thanks for the tips!

Other options-configuring systems don't have the dialog: I am thinking of 
NetBSD pkgsrc and Gentoo portage (not all-inclusive).

Tom

___
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"

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 to find the needle in the haystack.
> 
> NetBSD pkgsrc and Gentoo (Linux) portage document this much better.
> 
> 
> Tom

You'll find some info in the instructions at the top of 
/usr/ports/Mk/bsd.options.mk; there's not a lot of info because it's not 
generally the preferred place to specify options.

To turn something off by default on all ports (which can always be overridden 
by make config),
OPTIONS_UNSET=  NLS

To turn something off which overrides make config,
OPTIONS_UNSET_FORCE=NLS

You can set options for individual ports in make.conf too, though it's almost 
always a better idea to run 'make config' or 'poudriere options':
/usr/ports/editors/vim$ make -V OPTIONS_NAME
editors_vim

make.conf:
editors_vim_UNSET=  NLS

# Adam


-- 
Adam Weinberger
ad...@adamw.org
https://www.adamw.org

___
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"

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 this much better.


Tom

___
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"