packer/main.py

85 lines
2.4 KiB
Python
Raw Normal View History

2020-04-16 11:50:53 +02:00
import argparse
import sys
import re
import os
from pathlib import Path
import shutil
2020-04-16 12:04:46 +02:00
def main():
# parse arguments
parser = argparse.ArgumentParser(description="parse netlist and pack all references to current working directory")
parser.add_argument("files", nargs="*", type=argparse.FileType("r"))
parser.add_argument("-d", action="store_const", const=True, default=False, help="Dryrun")
args = parser.parse_args()
fileregex = re.compile(r"(?<!\w)file=\"(.*?)\"")
files = {}
# process all netlists
for file in args.files:
location = Path(file.name)
2020-04-16 12:24:39 +02:00
print("parsing {}".format(file.name))
2020-04-16 12:04:46 +02:00
content = file.read()
with open(location.name, "w+") as outfile:
last = 0
# iterate over all matches
for match in fileregex.finditer(content):
start = match.start(1)
end = match.end(1)
path = Path(match.group(1))
destpath = path
# build the destination in the current folder
# for the retrieved file reference
if path.is_absolute():
try:
destpath = path.relative_to(location.parent)
except ValueError:
destpath = Path(*path.parts[-4:])
else:
path = Path.cwd() / path
print(destpath.root)
if destpath.parts[0] == "..":
destpath = Path(*destpath.parts[1:])
# write the new path the new netlist file
outfile.write(content[last:start])
outfile.write(str(destpath))
# remember file to be copied for later
files[path] = destpath
last = end
outfile.write(content[last:])
# do dryrun if it is wanted
if args.d:
for file in files:
2020-04-16 12:24:39 +02:00
print("copy {} -> {}".format(file, files[file]))
2020-04-16 12:04:46 +02:00
exit(0)
# copy all files found in netlist earlier
2020-04-16 11:50:53 +02:00
for file in files:
2020-04-16 12:04:46 +02:00
src = Path(file)
dst = Path(files[file])
2020-04-16 11:50:53 +02:00
2020-04-16 12:04:46 +02:00
if not src.exists():
2020-04-16 12:24:39 +02:00
print("src does not exist: {}".format(str(src));
2020-04-16 12:04:46 +02:00
continue
2020-04-16 11:50:53 +02:00
2020-04-16 12:04:46 +02:00
# create directory
dst.parent.mkdir(parents=True, exist_ok=True)
shutil.copyfile(src, dst)
2020-04-16 11:50:53 +02:00
2020-04-16 12:04:46 +02:00
if __name__ == "__main__":
main()