2013-06-26 01:28:25 +00:00
|
|
|
# coding: utf-8
|
|
|
|
|
|
|
|
# Starting a new python process to preprocess each source file
|
|
|
|
# creates too much overhead. Instead, a list of files to preprocess
|
|
|
|
# is fed into a script run from a single process.
|
|
|
|
|
2013-06-21 04:58:35 +00:00
|
|
|
import os
|
|
|
|
import sys
|
|
|
|
import preprocessor
|
|
|
|
|
|
|
|
if __name__ == '__main__':
|
2013-06-26 03:25:50 +00:00
|
|
|
for source in sys.argv[1:]:
|
|
|
|
dest = os.path.splitext(source)[0] + '.tx'
|
|
|
|
sys.stdin = open(source, 'r')
|
|
|
|
sys.stdout = open(dest, 'w')
|
2013-08-28 22:53:26 +00:00
|
|
|
preprocessor.preprocess(preprocessor.macros)
|