4 def freplace(fname, from_pattern, to_pattern):
5 data = open(fname).read().replace(from_pattern, to_pattern)
6 open(fname,
"w").write(data)
10 head, rest = os.path.split(fname)
11 zfname = os.path.join(head,
"z" + rest[1:])
13 freplace(fname,
"November 2010\n*/",
"November 2010\n\n@precisions normal s -> z d c\n*/")
14 os.system(
"python %s -p z --file %s" % (os.environ.get(
"PATH_TO_CODEGEN_PY",
"codegen.py"), fname))
15 freplace(zfname,
"@generated z",
"@precisions normal z -> s d c")
19 sys.exit(
main(sys.argv))