From 4b4e057441fc3d28a73bc1fe4891db093957a458 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 31 Jan 2024 02:31:53 -0800 Subject: [PATCH] install ninja 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 6a92e2baf..166c7b883 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -91,6 +91,7 @@ stages: - script: sudo apt install gcc-arm-linux-gnueabihf -y - script: sudo apt install gcc-aarch64-linux-gnu -y - script: sudo apt install g++-aarch64-linux-gnu -y + - script: sudo apt install ninja-build -y - script: | mkdir dist CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc cmake