tracegz.py

importgzip
importjson
importos
importsys

trace, trace_dir=sys.argv[1:]

withopen(os.path.join(trace_dir, trace+'.json'), 'rb') asf:
trace_json=json.loads(f.read())

# Concatenate trace cpp source into a single gz
withopen('gen/tracegz_'+sys.argv[1] +'.gz', 'wb') asf:
withgzip.GzipFile(fileobj=f, mode='wb', compresslevel=9, mtime=0) asfgz:
forfnintrace_json['TraceFiles']:
iffn.endswith('.cpp'):
withopen(os.path.join(trace_dir, fn), 'rb') asfcpp:
fgz.write(fcpp.read())