addconfigh.awk

   1 #!/usr/bin/awk -f
   2
   3 # This script adds
   4 #
   5 #          #include <config.h>
   6 #
   7 # before the first #include line it finds.
   8
   9 function do_writeout ()
  10 {
  11     if (output && writeout)
  12         system ("mv " output " " input );
  13 }
  14
  15 {
  16     if (FNR == 1)
  17     {
  18         do_writeout();
  19
  20 #       beginning of a file
  21
  22         input = FILENAME;
  23         output = FILENAME "-new";
  24         n_includes = 0;
  25         writeout = 1;
  26         done = 0;
  27     }
  28 }
  29
  30 /\#include/ {
  31     if (n_includes == 0 && /\#include <config.h>/)
  32     {
  33         print "skipping " FILENAME
  34         writeout = 0;
  35
  36         nextfile;
  37     }
  38
  39     ++n_includes;
  40     if (!done) {
  41         print "#ifdef HAVE_CONFIG_H" > output;
  42         print "#include <config.h>"  > output;
  43         print "#endif"               > output;
  44
  45         done = 1;
  46     }
  47 }
  48
  49 {
  50     print > output
  51 }
  52
  53
  54 END {
  55     do_writeout();
  56 }