update nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 29, 2024 · c79477a · c79477a
1 parent ea93f07
commit c79477a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -199,6 +199,7 @@ stages:
     - script: echo '##vso[task.prependpath]/tmp/arm-toolchain/aarch64-none-linux-gnu/libc/usr/bin'
     - script: echo $PATH
     - 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 python -m build && AUDITWHEEL_PLAT= auditwheel repair --best-plat dist/*.whl && cd ../../.."
     # TODO copy artifacts