Add lld on ubuntu

model-checking · May 24, 2024 · f6f6024 · f6f6024
1 parent f593175
commit f6f6024
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/setup/ubuntu/install_deps.sh b/scripts/setup/ubuntu/install_deps.sh
@@ -16,6 +16,7 @@ DEPS=(
   gpg-agent
   jq
   libssl-dev
+  lld
   lsb-release
   make
   ninja-build