From 3576b66e325bf74f890ea0793b0bd3cd002a3366 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 21 Dec 2020 15:46:42 -0800 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 9 ++++----- scripts/nightly.yaml | 2 +- 2 files changed, 5 insertions(+), 6 deletions(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index ac75a759e..2ed3b7673 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -81,8 +81,7 @@ def mk_targets(source_root): def mk_icon(source_root): mk_dir("out/content") - print(f"{source_root}/resources/icon.jpg") - print(shutil.copy(f"{source_root}/resources/icon.jpg", "out/content/icon.jpg")) + shutil.copy(f"{source_root}/resources/icon.jpg", "out/content/icon.jpg") def create_nuget_spec(version, repo, branch, commit, symbols): @@ -112,10 +111,10 @@ Linux Dependencies: """.format(version, repo, branch, commit) print(contents) - prefix = "" + sym = "" if symbols: - prefix = "s" - with open("out/Microsoft.Z3.x64.{prefix}nuspec", 'w') as f: + sym = "s" + with open("out/Microsoft.Z3.x64.{sym}.nuspec", 'w') as f: f.write(contents) def main(): diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 57f057061..b8633142d 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -172,7 +172,7 @@ stages: displayName: 'NuGet Pack Symbols' inputs: command: custom - arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.snuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' + arguments: 'pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.sym.nuspec -OutputDirectory $(Build.ArtifactStagingDirectory) -Verbosity detailed -Symbols -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out' - task: PublishPipelineArtifact@1 inputs: targetPath: $(Build.ArtifactStagingDirectory)