Re: [PATCH] {yacc-work} coverage: more on 'yacc -d' and recovery from deleted headers

[Ralf Wildenhues]

* Stefano Lattarini wrote on Sat, Jan 29, 2011 at 02:20:00PM CET:
> On Saturday 29 January 2011, Ralf Wildenhues wrote:
> > I agree with everything except ...
> > 
> > >  BUILT_SOURCES = parse1.h p2-parse2.h
> > > address@hidden@: parse3.h
> > 
> > ... this line shouldn't be there, other than to workaround
> > a bug in automake;
> >
> Why not?  IMO it increases coverage by showing that, when we know
> which files include a yacc-generated header, we can just declare
> dependencies directly instead of relying on the $(BUILT_SOURCES)
> hack, and still have things work correctly.

Ah, so it was done on purpose.  Well, ok then, but it wouldn't be
good to document this in the manual, because this line relies on
either of the two facts that @OBJEXT@ hides the actual name from
automake, and there is a matching inference rule for the object
(automake will not produce a rule for some target if you put a
rule for that target in the Makefile.am, even if your rule does
not contain commands; cf. the comment about this in Rule.pm).

> > and if it does, then it deserves a comment.
> >
> Yes, that could be useful.  What about the following squash-in?

OK, thanks,
Ralf