mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-02 21:36:09 +00:00
Code Activity

next flight test

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-12-21 13:36:57 -08:00
parent a0554b154a
commit 0c8a219fc4
1 changed files with 20 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

36
scripts/nightly.yaml
View file

@ -196,7 +196,7 @@ stages:
- task: PublishPipelineArtifact@0 - task: PublishPipelineArtifact@0
inputs: inputs:
artifactName: 'ManyLinuxPythonBuildArm64v1' artifactName: 'ManyLinuxPythonBuildArm64v1'
targetPath: $(Build.ArtifactStagingDirectory) targetPath: $(Build.ArtifactStagingDirectory)
- job: ManyLinuxPythonBuildArm64V2 - job: ManyLinuxPythonBuildArm64V2
displayName: "Python bindings (manylinux Centos ARM64) build" displayName: "Python bindings (manylinux Centos ARM64) build"
@ -205,24 +205,29 @@ stages:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
steps: steps:
- script: | - script: |
set -e
sudo apt-get update sudo apt-get update
sudo apt-get install -y qemu-user-static sudo apt-get install -y qemu-user-static
displayName: "Install QEMU for ARM64 emulation" docker run --rm --privileged multiarch/qemu-user-static --reset -p yes
- script: docker run --rm --privileged multiarch/qemu-user-static --reset -p yes displayName: "Setup QEMU for ARM64 emulation"
displayName: "Register QEMU"
- script: | - script: |
set -e
docker run --rm -v $(pwd):/workspace -w /workspace \ docker run --rm -v $(pwd):/workspace -w /workspace \
-e HOME=/tmp \
-e MAKEFLAGS="-j2" \
quay.io/pypa/manylinux2014_aarch64:latest \ quay.io/pypa/manylinux2014_aarch64:latest \
bash -c "/opt/python/cp38-cp38/bin/python -m venv /workspace/env && \ bash -c "
source /workspace/env/bin/activate && \ set -e
pip install build git+https://github.com/rhelmot/auditwheel && \ /opt/python/cp38-cp38/bin/python -m venv /tmp/env
cd src/api/python && \ source /tmp/env/bin/activate
python -m build && \ pip install build git+https://github.com/rhelmot/auditwheel
AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && \ cd /workspace/src/api/python
cd ../../.. && \ python -m build
pip install ./src/api/python/wheelhouse/*.whl && \ AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl
python - <src/api/python/z3test.py z3 && \ pip install wheelhouse/*.whl
python - <src/api/python/z3test.py z3num" python - <z3test.py z3
python - <z3test.py z3num
"
displayName: "Build and test ARM64 wheel" displayName: "Build and test ARM64 wheel"
- task: CopyFiles@2 - task: CopyFiles@2
inputs: inputs:
@ -232,8 +237,7 @@ stages:
- task: PublishPipelineArtifact@0 - task: PublishPipelineArtifact@0
inputs: inputs:
artifactName: 'ManyLinuxPythonBuildArm64' artifactName: 'ManyLinuxPythonBuildArm64'
targetPath: $(Build.ArtifactStagingDirectory) targetPath: $(Build.ArtifactStagingDirectory)
- template: build-win-signed.yml - template: build-win-signed.yml