Bugs

• This approach also relied on the existence of gcc and GNU make. (A limitation, not technically a bug.)
• Dependency tracking was still done by the developer, so the problems from the first implementation relating to massaging of dependencies by ‘make dist’ were still in effect.
• This implementation suffered from the “deleted header file” problem. Suppose a lazily-created ‘.P’ file includes a dependency on a given header file, like this:

  maude.o: maude.c something.h
  

  Now suppose that you remove ‘something.h’ and update ‘maude.c’ so that this include is no longer needed. If you run make, you will get an error because there is no way to create ‘something.h’.

  We fixed this problem in a later release by further massaging the output of gcc to include a dummy dependency for each header file.

This document was generated on February 3, 2012 using texi2html 5.0.