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 the developer removes ‘something.h’ and updates ‘maude.c’ so that this include is no longer needed. If he runs make, he 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.