From 8cb1dd29b503288ed952c173b33ed51bdb92a407 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Dec 2020 11:16:47 -0800 Subject: [PATCH] mk-nuget-task where is the icon? Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 67f4a6720ac..b2d280431fe 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -69,11 +69,12 @@ def unpack(packages): def mk_targets(source_root): mk_dir("out/build") - shutil.copy("{}/src/api/dotnet/Microsoft.Z3.targets.in".format(source_root), "out/build/Microsoft.Z3.x64.targets") + shutil.copy(f"{source_root}/src/api/dotnet/Microsoft.Z3.targets.in", "out/build/Microsoft.Z3.x64.targets") def mk_icon(source_root): mk_dir("out/content") - shutil.copy("{}/resources/icon.jpg".format(source_root), "out/content/icon.jpg") + print(f"{source_root}/resources/icon.jpg") + print(shutil.copy(f"{source_root}/resources/icon.jpg", "out/content/icon.jpg")) def create_nuget_spec(version, repo, branch, commit):