mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-19 00:01:23 +00:00
28 lines
708 B
Python
28 lines
708 B
Python
|
#!/usr/bin/env python3
|
||
|
|
|
||
|
|
import subprocess, sys, shlex
|
||
|
|
|
||
|
|
cfile = sys.argv[1]
|
||
|
|
hfile = sys.argv[2]
|
||
|
|
lfile = sys.argv[3]
|
||
|
|
tabhfile = sys.argv[4]
|
||
|
|
|
||
|
|
args = ['--header-file=' + hfile, '-o', cfile, '-Ppriv_gst_parse_yy', lfile]
|
||
|
|
flex = [r'@FLEX@'] + shlex.split(r'@FLEX_ARGS@')
|
||
|
|
subprocess.check_call(flex + args)
|
||
|
|
|
||
|
|
prefix = '''#ifdef HAVE_CONFIG_H
|
||
|
|
#include<config.h>
|
||
|
|
#endif
|
||
|
|
'''
|
||
|
|
parse_snippet = '''void priv_gst_parse_yyset_column (int column_no , void * yyscanner);
|
||
|
|
void priv_gst_parse_yyset_column (int column_no , void * yyscanner)
|
||
|
|
'''
|
||
|
|
|
||
|
|
contents = open(cfile).read()
|
||
|
|
if not 'priv_gst_parse_yyget_column' in contents:
|
||
|
|
contents = parse_snippet + contents
|
||
|
|
contents = prefix + contents
|
||
|
|
|
||
|
|
open(cfile, 'w').write(contents)
|