make_single_header

#!/usr/bin/env python3
import os.path
import re

class Generator(object):
    def __init__(self, include_path):
        self.rex = re.compile(r'''#\s*include\s+<([^>]+)>\s*''')
        self.include_path = os.path.abspath(include_path)
        self.seen = set()

    def run(self, src):
        if src in self.seen:
            return
        self.seen.add(src)

        with open(src) as f:
            for line in f:
                line = line.rstrip()
                m = self.rex.fullmatch(line)
                if m:
                    filename = m.group(1)
                    filename = os.path.join(self.include_path, filename)
                    if os.path.exists(filename):
                        self.run(filename)
                        continue

                print(line)

if __name__ == "__main__":
    generator = Generator("include")
    generator.run(os.path.abspath("include/ctp/ctp.hh"))