From dce2f3d88ff7b8671bd5d843f4f3f353e7089a45 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 6 Dec 2023 07:10:56 -0800 Subject: [PATCH] add release notes Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES.md | 4 ++++ scripts/mk_nuget_task.py | 6 ++++-- scripts/release.yml | 2 +- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index fa22ae0eb79..f0fdc368cf4 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -12,6 +12,10 @@ Version 4.next Version 4.12.4 ============== +- Re-release fixing a few issues with 4.12: + - Python dependency on importlib.resources vs importlib_resources break automatic pypi installations. Supposedly fixed by conditioning dependency on Python 3.9 where the feature is built-in. + - Missing release of arm64 for Ubuntu. + - Futile attempt to streamline adding readme.md file as part of Nuget distribution. Nuget.org now requires a readme file. I was able to integrate the readme with the cmake build, but the cross-platform repackage in scripts/mk_nuget_task.py does not ingest a similar readme file with the CI pipelines. Version 4.12.3 ============== diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index 841d30e2c69..ef41051d80e 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -28,10 +28,12 @@ def mk_dir(d): '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') } +# Nuget not supported for ARM +#'arm-glibc-2.35' : ('so', 'linux-arm64'), +#'arm64-osx' : ('dylib', 'osx-arm64'), + def classify_package(f, arch): diff --git a/scripts/release.yml b/scripts/release.yml index 6b4fbdb66e6..5f049345cdc 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -583,7 +583,7 @@ stages: # Enable on release: - job: PyPIPublish - condition: eq(1,0) + condition: eq(1,1) displayName: "Publish to PyPI" pool: vmImage: "ubuntu-latest"