[PATCH] verify: document some 'assume' pitfalls

2013-10-10 Thread Paul Eggert
* doc/verify.texi (Compile-time Assertions): Mention that 'assume (E)' can sometimes slow things down. Use CHAR_MAX + 1, not UCHAR_MAX + 1. --- ChangeLog | 7 +++ doc/verify.texi | 24 ++-- 2 files changed, 21 insertions(+), 10 deletions(-) diff --git a/ChangeLog b/

Re: Error compiling strtoimax.c on hppa2.0w-hp-hpux11.11

2013-10-10 Thread Daniel Richard G.
On Wed, 2013 Oct 9 11:44-0700, Paul Eggert wrote: > > > On a different note: Is the gnulib autobuild still a thing? > > Sorry, I don't know. Simon would know, I expect. I e-mailed him. Turns out that his build robot(s) stopped working, and presumably no one else was submitting results, so the pa

Re: Error compiling strtoimax.c on hppa2.0w-hp-hpux11.11

2013-10-10 Thread Tom G. Christensen
On 10/10/2013 09:36 PM, Eric Blake wrote: Blah, I missed some instances. Obvious followup pushed. Thanks, it seems to be fine now and the build works on Solaris again. -tgc

Re: Error compiling strtoimax.c on hppa2.0w-hp-hpux11.11

2013-10-10 Thread Eric Blake
On 10/10/2013 01:06 PM, Tom G. Christensen wrote: > On 10/10/2013 08:24 PM, Eric Blake wrote: >> Oh, I see the typo; pushing this. >> > > This did not fix the test error from configure. > > Just creating a testdir on a CentOS 5 host and running configure results > in the same error from test: >

Re: Error compiling strtoimax.c on hppa2.0w-hp-hpux11.11

2013-10-10 Thread Tom G. Christensen
On 10/10/2013 08:24 PM, Eric Blake wrote: Oh, I see the typo; pushing this. diff --git i/ChangeLog w/ChangeLog index 3f6bf07..0d97328 100644 --- i/ChangeLog +++ w/ChangeLog @@ -1,3 +1,9 @@ +2013-10-10 Eric Blake + + strtoumax: fix typo in previous commit. + * modules/strtoumax (Depe

Re: Error compiling strtoimax.c on hppa2.0w-hp-hpux11.11

2013-10-10 Thread Eric Blake
On 10/10/2013 11:29 AM, Tom G. Christensen wrote: > On 10/10/2013 06:18 PM, Paul Eggert wrote: >> On 10/10/13 08:52, Tom G. Christensen wrote: >> I installed the following; does it fix things for you? > > No, the error is the same. > > I see this in the configure output: > ./configure: line 7680:

Re: Error compiling strtoimax.c on hppa2.0w-hp-hpux11.11

2013-10-10 Thread Tom G. Christensen
On 10/10/2013 06:18 PM, Paul Eggert wrote: On 10/10/13 08:52, Tom G. Christensen wrote: I installed the following; does it fix things for you? No, the error is the same. I see this in the configure output: ./configure: line 7680: test: =: unary operator expected $ sed -n 7680p configure if

Re: Error compiling strtoimax.c on hppa2.0w-hp-hpux11.11

2013-10-10 Thread Paul Eggert
On 10/10/13 08:52, Tom G. Christensen wrote: > This test checks HAVE_STRTOUMAX which is not declared anywhere. It should be declared by the AC_CHECK_FUNCS_ONCE([strtoumax]) in m4/strtoumax.m4. But I think I see the problem; I forgot to copy some of the stuff in modules/strtoimax into modules/st

Re: Error compiling strtoimax.c on hppa2.0w-hp-hpux11.11

2013-10-10 Thread Tom G. Christensen
On 10/09/2013 05:06 PM, Paul Eggert wrote: I pushed the following patch, which I hope fixes things for you. It broke my daily build on Solaris. gcc -std=gnu99 -g -O2 -L/usr/tgcware/lib -R/usr/tgcware/lib -o test-xstrtoumax test-xstrtoumax.o ../gllib/libgnu.a /usr/tgcware/lib/libintl.so -R/

Re: Apparent problem with "make web-manual-update"

2013-10-10 Thread Reuben Thomas
On 10 October 2013 13:57, Eric Blake wrote: > I'm suggesting that your cfg.mk is flawed. maint.mk is expanding: > > "$(PACKAGE_NAME) - $(manual_title)" > > already in double quotes. If your cfg.mk has: > > manual_title="Hello, GNU World" > > then that would explain the botched shell command. I

Re: Apparent problem with "make web-manual-update"

2013-10-10 Thread Eric Blake
On 10/10/2013 04:32 AM, Reuben Thomas wrote: > On 10 October 2013 04:13, Eric Blake wrote: > >> On 10/09/2013 06:12 PM, Reuben Thomas wrote: >>> The end of the make log goes: >>> >>> test -z ""Hello, GNU World"" \ >>> && { echo define manual_title in cfg.mk 1>&2; exit 1; } || : >>> /bin/bas

Re: Apparent problem with "make web-manual-update"

2013-10-10 Thread Reuben Thomas
On 10 October 2013 04:13, Eric Blake wrote: > On 10/09/2013 06:12 PM, Reuben Thomas wrote: > > The end of the make log goes: > > > > test -z ""Hello, GNU World"" \ > > && { echo define manual_title in cfg.mk 1>&2; exit 1; } || : > > /bin/bash: line 0: test: too many arguments > > cd './doc'