From fb30e61e749f80ca0033abca82e01c58126513d7 Mon Sep 17 00:00:00 2001 From: Bill Teng Date: Thu, 9 May 2024 01:04:57 +0000 Subject: [PATCH] #0: add ninja as a metal dependency as builds are faster with ninja rather than make --- .github/actions/install-metal-dev-deps/dependencies.json | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/actions/install-metal-dev-deps/dependencies.json b/.github/actions/install-metal-dev-deps/dependencies.json index 44055c7397d0..a0a2d7d58076 100644 --- a/.github/actions/install-metal-dev-deps/dependencies.json +++ b/.github/actions/install-metal-dev-deps/dependencies.json @@ -7,7 +7,8 @@ "pandoc", "libtbb-dev", "libcapstone-dev", - "pkg-config" + "pkg-config", + "ninja-build" ], "ubuntu-22.04": [ "git", @@ -15,6 +16,7 @@ "pandoc", "libtbb-dev", "libcapstone-dev", - "pkg-config" + "pkg-config", + "ninja-build" ] }