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

Fix NuGet package version format to use semantic versioning

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-08-26 16:44:36 +00:00
parent 3ebd6eb97a
commit 09973c6f7a
1 changed files with 14 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

15
scripts/mk_util.py
View file

@ -596,6 +596,19 @@ def get_version_string(n):
return "{}.{}.{}".format(VER_MAJOR,VER_MINOR,VER_BUILD) return "{}.{}.{}".format(VER_MAJOR,VER_MINOR,VER_BUILD)
return "{}.{}.{}.{}".format(VER_MAJOR,VER_MINOR,VER_BUILD,VER_TWEAK) return "{}.{}.{}.{}".format(VER_MAJOR,VER_MINOR,VER_BUILD,VER_TWEAK)
def get_nuget_version_string():
"""
Generate a NuGet-compatible version string using semantic versioning format.
Uses 3-component version (MAJOR.MINOR.PATCH) to avoid issues with NuGet
interpreting 4-component versions incorrectly.
"""
if VER_TWEAK == 0:
# For releases without revision, use 3-component version
return "{}.{}.{}".format(VER_MAJOR,VER_MINOR,VER_BUILD)
else:
# For builds with revision, format as pre-release version
return "{}.{}.{}-{}".format(VER_MAJOR,VER_MINOR,VER_BUILD,VER_TWEAK)
def build_static_lib(): def build_static_lib():
return STATIC_LIB return STATIC_LIB
@ -1736,7 +1749,7 @@ class DotNetDLLComponent(Component):
key = "<AssemblyOriginatorKeyFile>%s</AssemblyOriginatorKeyFile>" % self.key_file key = "<AssemblyOriginatorKeyFile>%s</AssemblyOriginatorKeyFile>" % self.key_file
key += "\n<SignAssembly>true</SignAssembly>" key += "\n<SignAssembly>true</SignAssembly>"
version = get_version_string(4) version = get_nuget_version_string()
print("Version output to csproj:", version) print("Version output to csproj:", version)