From fc3a7655a5456bcad6f5f3d557db1ee73178330f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 5 Dec 2023 18:06:17 -0800 Subject: [PATCH] try to put readme in root Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 8f238bcc2cc..44987868d86 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -24,10 +24,11 @@ def mk_dir(d): os_info = { 'ubuntu-latest' : ('so', 'linux-x64'), 'ubuntu-18' : ('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'), 'x86-win' : ('dll', 'win-x86'), 'x64-osx' : ('dylib', 'osx-x64'), + 'arm-glibc-2.35' : ('so', 'linux-arm64'), 'arm64-osx' : ('dylib', 'osx-arm64'), 'debian' : ('so', 'linux-x64') } @@ -88,7 +89,7 @@ def mk_icon(source_root): def mk_readme(source_root): 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 @@ def create_nuget_spec(version, repo, branch, commit, symbols, arch): © Microsoft Corporation. All rights reserved. smt constraint solver theorem prover content/icon.jpg - content/README.md + README.md https://github.com/Z3Prover/z3 MIT