Re: Shipping generated file from generated generator

[Akim Demaille]

>>> "Stepan" == Stepan Kasal <address@hidden> writes:

 > Hello Akim,

Hi!

 > ----------
 > noinst_PROGRAMS = makedoc
 > bin_PROGRAMS = ginfo infokey

 > makedoc_SOURCES = makedoc.c
 > ginfo_SOURCES = echo-area.c echo-area.h ... \
 >   doc.c funs.h
 > infokey_SOURCES = infokey.c infokey.h key.c key.h funs.h

 > generated_sources = doc.c key.c funs.h

 > $(generated_sources): makedoc$(EXEEXT) $(cmd_sources)
 >      rm -f $(generated_sources)
 >      $(top_builddir)/$(native_tools)/info/makedoc $(cmd_sources)

Warning: Read the node `Multiple Outputs' in Automake.texi.

 > cmd_sources = $(srcdir)/session.c $(srcdir)/echo-area.c $(srcdir)/infodoc.c \
 >   $(srcdir)/m-x.c $(srcdir)/indices.c $(srcdir)/nodemenu.c \
 >   $(srcdir)/footnotes.c $(srcdir)/variables.c

 > # The following hack is necessary to hint make before the automatic
 > # dependencies are built.  See the automake manual for a detailed 
 > explanation.
 > BUILT_SOURCES = funs.h
 > ----------

Do this work?  The sources are never re-generated on the user side?  I
don't see the difference with my case actually, but for me, it builds
the generator and rebuilds the generated-output.

Also, I see no provision to generate these files in srcdir.  Are you
really sure you ship and use them?