Re: GPC git

Prof. Abimbola A. Olowofoyeku (The African Chief) wrote:
> 
> On 27 Jul 2012 at 0:10, Waldek Hebisch wrote:
> 
> [...]
> > Sorry, I forgot to mention this: git repository is supposed to
> > contain only source files.  So machine generated files like
> > content of p/doc/info/ and p/doc/generated/ is omited.
> > Building gpc should fill those directores with content.  But
> > for this you need appropriate tools, in particular 'texinfo'
> > package.  Look at the output of 'configure' in build log,
> > if configure can not find needed tools it will print
> > a message and skip building documentation.
> 
> The problem is that texinfo was there all the time. The gcc configure 
> log reports this:
> 
> "configure: WARNING:
> *** Makeinfo is missing or too old.
> *** Info documentation will not be built."
> 
> Well, I don't know about that, before it is there, and it is the latest 
> version (v4.13).
> 

This is a bug in gcc-3.4.*: it checks for texinfo versions between
4.2 and 4.9 and considers every other version (like 4.13) as too
old.  Given that gcc-3.4.6 is from March 2006 and texinfo 4.11
(the next version after 4.9) is from September 2007 it was easy
to overlook this problem.

I am not sure what is a good fix for this: gcc configure machinery
is a mess and if we patch it we will need specific versions of
other tools.  Probably the easiest workaround (untested) is to
create a little script, like:

-------------<cut here>--------------------------
#!/bin/sh

if [ "$1" == "--version" ] ; then
    echo "makeinfo (GNU texinfo) 4.8"
else
   exec /usr/bin/makeinfo "$@"
fi
------------<cut here>---------------------------

and then add 'MAKEINFO=/path/to/the/script' option to make
command.

-- 
                              Waldek Hebisch
[email protected] 

_______________________________________________
Gpc mailing list
[email protected]
https://www.g-n-u.de/mailman/listinfo/gpc