File: build_header.py

package info (click to toggle)
pyodc 1.6.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 700 kB
  • sloc: python: 2,369; ansic: 86; makefile: 32
file content (22 lines) | stat: -rwxr-xr-x 446 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
#!/usr/bin/env python3

import sys

from pycparser import c_generator, parse_file


def usage():
    sys.stderr.write("Usage:\n")
    sys.stderr.write("    build_header.py <odc.h> <odc_cffi.h>\n")


if len(sys.argv) != 3:
    usage()
    sys.exit(-1)

input_filename = sys.argv[1]
output_filename = sys.argv[2]

ast = parse_file(input_filename, use_cpp=True)
with open(output_filename, "w") as f:
    f.write(c_generator.CGenerator().visit(ast))