rename_headers.py

import sys
import re
import os
from shutil import copyfile

args = sys.argv[1:]

expr = r"#include *[\<\"](?P<path>.+)[\>\"]"

def mkdir(path):
	dname = os.path.dirname(path)
	if not os.path.exists(dname):
		print("Making dir: ", dname)
		os.makedirs(dname)

for arg in args:
	print("Opening: ", arg)
	temp = ""
	if os.path.isdir(arg):
		continue

	arg2 = arg.replace('flens', '../xflens/')
	if arg.endswith(('.cxx', '.tcc', '.h', '.cc')):
		with open(arg) as f:
				for l in f.readlines():
					match = re.match(expr, l)
					if match:
						path = match.group('path')
						if path.startswith('cxxblas/') or path.startswith('cxxlapack/'):
							path = "xflens/" + path
							temp += '#include \"' + path + '"\n'  
						else:
							temp += l
					else:
						temp += l
		mkdir(arg2)
		with open(arg2, 'w+') as f:
			f.write(temp)
	else:
		mkdir(arg2)
		copyfile(arg, arg2)