codegen/createdefs.py

   1 #!/usr/bin/env python
   2 import sys
   3
   4 def main(args):
   5     output = args[1]
   6     input = args[2:]
   7     outfd = open(output, 'w')
   8     outfd.write(';; -*- scheme -*-\n')
   9     outfd.write(';; THIS FILE IS GENERATED - DO NOT EDIT\n')
  10     for filename in input:
  11         outfd.write('(include "%s")\n' % filename)
  12     outfd.close()
  13
  14     return 0
  15
  16 if __name__ == '__main__':
  17     sys.exit(main(sys.argv))