1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
import gzip
import json
import os
import sys
trace, trace_dir = sys.argv[1:]
with open(os.path.join(trace_dir, trace + '.json'), 'rb') as f:
trace_json = json.loads(f.read())
# Concatenate trace cpp source into a single gz
with open('gen/tracegz_' + sys.argv[1] + '.gz', 'wb') as f:
with gzip.GzipFile(fileobj=f, mode='wb', compresslevel=9, mtime=0) as fgz:
for fn in trace_json['TraceFiles']:
if fn.endswith('.cpp'):
with open(os.path.join(trace_dir, fn), 'rb') as fcpp:
fgz.write(fcpp.read())
|
