3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-29 07:27:57 +00:00

Update azure-pipelines.yml for Azure Pipelines

remove build steps for python packaging
This commit is contained in:
Nikolaj Bjorner 2025-07-04 14:25:53 -07:00
parent d2990e2f68
commit 0ee1ee54bd

View file

@ -254,15 +254,6 @@ jobs:
# Skip as dead-slow in debug mode: # Skip as dead-slow in debug mode:
# - template: scripts/test-z3.yml # - template: scripts/test-z3.yml
- template: scripts/test-regressions.yml - template: scripts/test-regressions.yml
- task: CopyFiles@2
inputs:
sourceFolder: dist
contents: '*.zip'
targetFolder: $(Build.ArtifactStagingDirectory)
- task: PublishPipelineArtifact@0
inputs:
artifactName: 'MacOSPython'
targetPath: $(Build.ArtifactStagingDirectory)
- job: "MacOSCMake" - job: "MacOSCMake"
@ -322,26 +313,3 @@ jobs:
# Skip as dead-slow in debug mode: # Skip as dead-slow in debug mode:
# - template: scripts/test-z3.yml # - template: scripts/test-z3.yml
- template: scripts/test-regressions.yml - template: scripts/test-regressions.yml
- job: Python
displayName: "Python packaging"
pool:
vmImage: "ubuntu-24.04"
steps:
- task: DownloadPipelineArtifact@2
displayName: 'Download macOS Build'
inputs:
artifactName: 'MacOSPython'
targetPath: $(Agent.TempDirectory)
- task: DownloadPipelineArtifact@2
displayName: 'Download ManyLinux Build'
inputs:
artifactName: 'ManyLinuxPythonBuildAmd64'
targetPath: $(Agent.TempDirectory)
- script: cd $(Agent.TempDirectory); mkdir osx-x64-bin; cd osx-x64-bin; unzip ../*x64-osx*.zip
- script: python3 -m pip install --user -U setuptools
- script: cd src/api/python; python3 setup.py sdist
# take a look at this PREMIUM HACK I came up with to get around the fact that the azure variable syntax overloads the bash syntax for subshells
- script: cd src/api/python; echo $(Agent.TempDirectory)/osx-x64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel
- script: cp $(Agent.TempDirectory)/*.whl src/api/python/dist