From c79477a939603ecd5836a7c35fe9f9ce6fe2e339 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 28 Aug 2024 17:41:49 -0700 Subject: [PATCH] update nightly Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index fae95d2d2..0de2d3ed6 100644 --- 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