2016-03-11 11:12:59 -05:00
|
|
|
"""
|
|
|
|
This script processes the output from the C preprocessor and extracts all
|
|
|
|
qstr. Each qstr is transformed into a qstr definition of the form 'Q(...)'.
|
|
|
|
|
|
|
|
This script works with Python 2.6, 2.7, 3.3 and 3.4.
|
|
|
|
"""
|
|
|
|
|
2017-06-08 23:42:13 -04:00
|
|
|
from __future__ import print_function
|
|
|
|
|
2016-03-11 11:12:59 -05:00
|
|
|
import re
|
2017-06-08 23:42:13 -04:00
|
|
|
import sys
|
2019-04-11 21:34:52 -04:00
|
|
|
import io
|
2016-03-11 11:12:59 -05:00
|
|
|
import os
|
|
|
|
|
|
|
|
|
2016-04-19 04:30:06 -04:00
|
|
|
def write_out(fname, output):
|
|
|
|
if output:
|
2016-04-23 12:36:07 -04:00
|
|
|
for m, r in [("/", "__"), ("\\", "__"), (":", "@"), ("..", "@@")]:
|
|
|
|
fname = fname.replace(m, r)
|
2016-04-19 04:30:06 -04:00
|
|
|
with open(args.output_dir + "/" + fname + ".qstr", "w") as f:
|
|
|
|
f.write("\n".join(output) + "\n")
|
|
|
|
|
2020-02-26 23:36:53 -05:00
|
|
|
|
2016-03-11 11:12:59 -05:00
|
|
|
def process_file(f):
|
2018-03-16 08:54:06 -04:00
|
|
|
re_line = re.compile(r"#[line]*\s\d+\s\"([^\"]+)\"")
|
2020-02-26 23:36:53 -05:00
|
|
|
re_qstr = re.compile(r"MP_QSTR_[_a-zA-Z0-9]+")
|
2016-03-11 11:12:59 -05:00
|
|
|
output = []
|
2016-04-19 04:30:06 -04:00
|
|
|
last_fname = None
|
2016-03-11 11:12:59 -05:00
|
|
|
for line in f:
|
2018-03-16 08:54:06 -04:00
|
|
|
if line.isspace():
|
|
|
|
continue
|
2016-04-23 12:36:07 -04:00
|
|
|
# match gcc-like output (# n "file") and msvc-like output (#line n "file")
|
2020-02-26 23:36:53 -05:00
|
|
|
if line.startswith(("# ", "#line")):
|
2018-03-16 08:54:06 -04:00
|
|
|
m = re_line.match(line)
|
2016-04-23 12:36:07 -04:00
|
|
|
assert m is not None
|
|
|
|
fname = m.group(1)
|
2016-06-15 18:04:42 -04:00
|
|
|
if not fname.endswith(".c"):
|
2016-04-19 04:30:06 -04:00
|
|
|
continue
|
|
|
|
if fname != last_fname:
|
|
|
|
write_out(last_fname, output)
|
|
|
|
output = []
|
|
|
|
last_fname = fname
|
|
|
|
continue
|
2018-03-16 08:54:06 -04:00
|
|
|
for match in re_qstr.findall(line):
|
2020-02-26 23:36:53 -05:00
|
|
|
name = match.replace("MP_QSTR_", "")
|
|
|
|
output.append("Q(" + name + ")")
|
2016-03-11 11:12:59 -05:00
|
|
|
|
2016-04-19 04:30:06 -04:00
|
|
|
write_out(last_fname, output)
|
|
|
|
return ""
|
|
|
|
|
|
|
|
|
|
|
|
def cat_together():
|
|
|
|
import glob
|
|
|
|
import hashlib
|
2020-02-26 23:36:53 -05:00
|
|
|
|
2016-04-19 04:30:06 -04:00
|
|
|
hasher = hashlib.md5()
|
|
|
|
all_lines = []
|
|
|
|
outf = open(args.output_dir + "/out", "wb")
|
|
|
|
for fname in glob.glob(args.output_dir + "/*.qstr"):
|
|
|
|
with open(fname, "rb") as f:
|
|
|
|
lines = f.readlines()
|
|
|
|
all_lines += lines
|
|
|
|
all_lines.sort()
|
|
|
|
all_lines = b"\n".join(all_lines)
|
|
|
|
outf.write(all_lines)
|
|
|
|
outf.close()
|
|
|
|
hasher.update(all_lines)
|
|
|
|
new_hash = hasher.hexdigest()
|
2020-02-26 23:36:53 -05:00
|
|
|
# print(new_hash)
|
2016-04-19 04:30:06 -04:00
|
|
|
old_hash = None
|
|
|
|
try:
|
|
|
|
with open(args.output_file + ".hash") as f:
|
|
|
|
old_hash = f.read()
|
|
|
|
except IOError:
|
|
|
|
pass
|
|
|
|
if old_hash != new_hash:
|
|
|
|
print("QSTR updated")
|
2016-04-23 12:36:07 -04:00
|
|
|
try:
|
|
|
|
# rename below might fail if file exists
|
|
|
|
os.remove(args.output_file)
|
|
|
|
except:
|
|
|
|
pass
|
2016-04-19 04:30:06 -04:00
|
|
|
os.rename(args.output_dir + "/out", args.output_file)
|
|
|
|
with open(args.output_file + ".hash", "w") as f:
|
|
|
|
f.write(new_hash)
|
|
|
|
else:
|
|
|
|
print("QSTR not updated")
|
2016-03-11 11:12:59 -05:00
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
2017-06-08 23:42:13 -04:00
|
|
|
if len(sys.argv) != 5:
|
2020-02-26 23:36:53 -05:00
|
|
|
print("usage: %s command input_filename output_dir output_file" % sys.argv[0])
|
2017-06-08 23:42:13 -04:00
|
|
|
sys.exit(2)
|
|
|
|
|
|
|
|
class Args:
|
|
|
|
pass
|
2020-02-26 23:36:53 -05:00
|
|
|
|
2017-06-08 23:42:13 -04:00
|
|
|
args = Args()
|
|
|
|
args.command = sys.argv[1]
|
|
|
|
args.input_filename = sys.argv[2]
|
|
|
|
args.output_dir = sys.argv[3]
|
|
|
|
args.output_file = sys.argv[4]
|
|
|
|
|
2016-04-19 04:30:06 -04:00
|
|
|
try:
|
|
|
|
os.makedirs(args.output_dir)
|
|
|
|
except OSError:
|
|
|
|
pass
|
2016-03-11 11:12:59 -05:00
|
|
|
|
2016-04-19 07:39:08 -04:00
|
|
|
if args.command == "split":
|
2020-02-26 23:36:53 -05:00
|
|
|
with io.open(args.input_filename, encoding="utf-8") as infile:
|
2016-04-19 07:39:08 -04:00
|
|
|
process_file(infile)
|
2016-03-11 11:12:59 -05:00
|
|
|
|
2016-04-19 07:39:08 -04:00
|
|
|
if args.command == "cat":
|
|
|
|
cat_together()
|