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

update mk_nuget_task

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-10-21 15:34:05 -07:00
parent bfc30440ac
commit 0acbdffacf
1 changed files with 2 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
scripts/mk_nuget_task.py
View file

@ -86,17 +86,12 @@ Linux Dependencies:
<iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/{1}/package/icon.jpg</iconUrl> <iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/{1}/package/icon.jpg</iconUrl>
<projectUrl>https://github.com/Z3Prover/z3</projectUrl> <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
<licenseUrl>https://raw.githubusercontent.com/Z3Prover/z3/{1}/LICENSE.txt</licenseUrl> <licenseUrl>https://raw.githubusercontent.com/Z3Prover/z3/{1}/LICENSE.txt</licenseUrl>
<repository <repository type="git" url="https://github.com/Z3Prover/z3.git" branch="master" commit="{1}" />
type="git"
url="https://github.com/Z3Prover/z3.git"
branch="master"
commit="{1}"
/>
<requireLicenseAcceptance>true</requireLicenseAcceptance> <requireLicenseAcceptance>true</requireLicenseAcceptance>
<language>en</language> <language>en</language>
</metadata> </metadata>
</package>""".format(release_version, release_commit) </package>""".format(release_version, release_commit)
print(contents)
with open("out/Microsoft.Z3.x64.nuspec", 'w') as f: with open("out/Microsoft.Z3.x64.nuspec", 'w') as f:
f.write(contents) f.write(contents)