From db46a1195b6222feea3300330e6a1d982b1042ba Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 21 Dec 2025 11:56:19 -0800
Subject: [PATCH] flight test copilot generated slop?

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index a86e6536d..b1757f14d 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -188,6 +188,42 @@ stages:
     - script: "stat `which aarch64-none-linux-gnu-gcc`"
     - script: "pip install build git+https://github.com/rhelmot/auditwheel"
     - script: "cd src/api/python && CC=aarch64-none-linux-gnu-gcc CXX=aarch64-none-linux-gnu-g++ AR=aarch64-none-linux-gnu-ar LD=aarch64-none-linux-gnu-ld Z3_CROSS_COMPILING=aarch64 python -m build && AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && cd ../../.."
+    - task: CopyFiles@2
+      inputs:
+        sourceFolder: src/api/python/wheelhouse
+        contents: '*.whl'
+        targetFolder: $(Build.ArtifactStagingDirectory)
+    - task: PublishPipelineArtifact@0
+      inputs:
+        artifactName: 'ManyLinuxPythonBuildArm64-v1'
+        targetPath: $(Build.ArtifactStagingDirectory)    
+
+ - job: ManyLinuxPythonBuildArm64-V2
+    displayName: "Python bindings (manylinux Centos ARM64) build"
+    timeoutInMinutes: 90    
+    pool:
+      vmImage: "ubuntu-latest"
+    steps:
+    - script: |
+        sudo apt-get update
+        sudo apt-get install -y qemu-user-static
+      displayName: "Install QEMU for ARM64 emulation"
+    - script: docker run --rm --privileged multiarch/qemu-user-static --reset -p yes
+      displayName: "Register QEMU"
+    - script: |
+        docker run --rm -v $(pwd):/workspace -w /workspace \
+          quay.io/pypa/manylinux2014_aarch64:latest \
+          bash -c "/opt/python/cp38-cp38/bin/python -m venv /workspace/env && \
+                   source /workspace/env/bin/activate && \
+                   pip install build git+https://github.com/rhelmot/auditwheel && \
+                   cd src/api/python && \
+                   python -m build && \
+                   AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && \
+                   cd ../../.. && \
+                   pip install ./src/api/python/wheelhouse/*.whl && \
+                   python - <src/api/python/z3test.py z3 && \
+                   python - <src/api/python/z3test.py z3num"
+      displayName: "Build and test ARM64 wheel"
     - task: CopyFiles@2
       inputs:
         sourceFolder: src/api/python/wheelhouse
@@ -199,6 +235,7 @@ stages:
         targetPath: $(Build.ArtifactStagingDirectory)    
 
 
+
   - template: build-win-signed.yml
     parameters:
       ReleaseVersion: $(ReleaseVersion)