mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
revert to buildid in version number
This commit is contained in:
parent
13a33a3966
commit
d9e93d5f7c
|
@ -3,7 +3,7 @@ variables:
|
|||
Major: '4'
|
||||
Minor: '8'
|
||||
Patch: '16'
|
||||
NightlyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildNumber)-$(Build.DefinitionName)
|
||||
NightlyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)-$(Build.DefinitionName)
|
||||
MacFlags: 'CXXFLAGS="-arch arm64 -arch x86_64" LINK_EXTRA_FLAGS="-arch arm64 -arch x86_64" SLINK_EXTRA_FLAGS="-arch arm64 -arch x86_64" FPMATH_ENABLED=False'
|
||||
|
||||
stages:
|
||||
|
|
Loading…
Reference in a new issue