mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity

remove readme for dist

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-12-05 18:50:23 -08:00
parent fc3a7655a5
commit b3ef74c86d
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/mk_nuget_task.py
View file

@ -110,7 +110,6 @@ Linux Dependencies:
<copyright>&#169; Microsoft Corporation. All rights reserved.</copyright> <copyright>&#169; Microsoft Corporation. All rights reserved.</copyright>
<tags>smt constraint solver theorem prover</tags> <tags>smt constraint solver theorem prover</tags>
<icon>content/icon.jpg</icon> <icon>content/icon.jpg</icon>
<readme>README.md</readme>
<projectUrl>https://github.com/Z3Prover/z3</projectUrl> <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
<license type="expression">MIT</license> <license type="expression">MIT</license>
<repository type="git" url="{1}" branch="{2}" commit="{3}" /> <repository type="git" url="{1}" branch="{2}" commit="{3}" />
@ -148,7 +147,7 @@ class Env:
unpack(self.packages, self.symbols, self.arch) unpack(self.packages, self.symbols, self.arch)
mk_targets(self.source_root) mk_targets(self.source_root)
mk_icon(self.source_root) mk_icon(self.source_root)
mk_readme(self.source_root) # mk_readme(self.source_root)
create_nuget_spec(self.version, self.repo, self.branch, self.commit, self.symbols, self.arch) create_nuget_spec(self.version, self.repo, self.branch, self.commit, self.symbols, self.arch)
def main(): def main():