mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Code Activity

mk-nuget-task where is the icon?

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-12-20 11:16:47 -08:00
parent 259a8ff786
commit 8cb1dd29b5
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scripts/mk_nuget_task.py
View file

@ -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):