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

try to put readme in root

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

7
scripts/mk_nuget_task.py
View file

@ -24,10 +24,11 @@ def mk_dir(d):
os_info = { 'ubuntu-latest' : ('so', 'linux-x64'), os_info = { 'ubuntu-latest' : ('so', 'linux-x64'),
'ubuntu-18' : ('so', 'linux-x64'), 'ubuntu-18' : ('so', 'linux-x64'),
'ubuntu-20' : ('so', 'linux-x64'), 'ubuntu-20' : ('so', 'linux-x64'),
'x64-glibc-2.31' : ('so', 'linux-x64'), 'x64-glibc-2.35' : ('so', 'linux-x64'),
'x64-win' : ('dll', 'win-x64'), 'x64-win' : ('dll', 'win-x64'),
'x86-win' : ('dll', 'win-x86'), 'x86-win' : ('dll', 'win-x86'),
'x64-osx' : ('dylib', 'osx-x64'), 'x64-osx' : ('dylib', 'osx-x64'),
'arm-glibc-2.35' : ('so', 'linux-arm64'),
'arm64-osx' : ('dylib', 'osx-arm64'), 'arm64-osx' : ('dylib', 'osx-arm64'),
'debian' : ('so', 'linux-x64') } 'debian' : ('so', 'linux-x64') }
@ -88,7 +89,7 @@ def mk_icon(source_root):
def mk_readme(source_root): def mk_readme(source_root):
mk_dir("out/content") mk_dir("out/content")
shutil.copy(f"{source_root}/src/api/dotnet/README.md", "out/content/README.md") shutil.copy(f"{source_root}/src/api/dotnet/README.md", "out/README.md")
@ -109,7 +110,7 @@ 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>content/README.md</readme> <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}" />