On 6/27/11, Gabriel Charette <gch...@google.com> wrote: > On Jun 27, 2011 Diego Novillo <dnovi...@google.com> wrote: > > On Jun 27, 2011 Gabriel Charette <gch...@google.com> wrote: > > > Couldn't we have headers look for their corresponding .pph > > > file by default when -fpph-map is on? (especially since > > > pph.map is only temporary for the implementation phase) > > > > The problem is with headers that include other headers. > > We want to limit the generation of images to specific headers. > > Given that we are in this initial implementation phase, the > > simplest approach is to remember to update pph.map. > > Well in what I'm proposing we only use the pph file if it was > actually generated before (we don't generate it if it's not > there). Are there any situations where we have a corresponding > pph file, but don't actually want to use it when the fpph-map > flag is on? Seems unlikely as we put all the pph files in the > pph map for now anyways...
For a shortcut, you can add the option -fpph-hdr=<base-name> A mapping from <base-name>.h to <base-name>.pph In general, the pph files won't live in the same directory as the header file. This will cause problems when two headers have the same name. I would rather not get into complicated search rules just yet. -- Lawrence Crowl
