diff options
Diffstat (limited to 'Tools/freeze/makefreeze.py')
-rw-r--r-- | Tools/freeze/makefreeze.py | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/Tools/freeze/makefreeze.py b/Tools/freeze/makefreeze.py index f11c59b..4ea1905 100644 --- a/Tools/freeze/makefreeze.py +++ b/Tools/freeze/makefreeze.py @@ -1,5 +1,6 @@ import marshal import string +import bkfile # Write a file containing frozen code for the modules in the dictionary. @@ -30,15 +31,19 @@ main(argc, argv) """ -def makefreeze(outfp, dict, debug=0, entry_point = None): +def makefreeze(base, dict, debug=0, entry_point = None): if entry_point is None: entry_point = default_entry_point done = [] + files = [] mods = dict.keys() mods.sort() for mod in mods: m = dict[mod] mangled = string.join(string.split(mod, "."), "__") if m.__code__: + file = 'M_' + mangled + '.c' + outfp = bkfile.open(base + file, 'w') + files.append(file) if debug: print "freezing", mod, "..." str = marshal.dumps(m.__code__) @@ -48,13 +53,19 @@ def makefreeze(outfp, dict, debug=0, entry_point = None): size = -size done.append((mod, mangled, size)) writecode(outfp, mangled, str) + outfp.close() if debug: print "generating table of frozen modules" + outfp = bkfile.open(base + 'frozen.c', 'w') + for mod, mangled, size in done: + outfp.write('extern unsigned char M_%s[];\n' % mangled) outfp.write(header) for mod, mangled, size in done: outfp.write('\t{"%s", M_%s, %d},\n' % (mod, mangled, size)) outfp.write(trailer) outfp.write(entry_point) + outfp.close() + return files @@ -62,9 +73,13 @@ def makefreeze(outfp, dict, debug=0, entry_point = None): # The array is called M_<mod>. def writecode(outfp, mod, str): - outfp.write('static unsigned char M_%s[] = {' % mod) + outfp.write('unsigned char M_%s[] = {' % mod) for i in range(0, len(str), 16): outfp.write('\n\t') for c in str[i:i+16]: outfp.write('%d,' % ord(c)) outfp.write('\n};\n') + +## def writecode(outfp, mod, str): +## outfp.write('unsigned char M_%s[%d] = "%s";\n' % (mod, len(str), +## string.join(map(lambda s: `s`[1:-1], string.split(str, '"')), '\\"'))) |