From 55b6a9a31268609a956ba3c8f0e67c1601e42fd9 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie@certora.com>
Date: Fri, 6 Dec 2024 16:29:16 -0500
Subject: [PATCH] feat: add more llvm utilities to platform-tools

---
 scripts/package.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/package.sh b/scripts/package.sh
index abf71e3..d5a2be5 100755
--- a/scripts/package.sh
+++ b/scripts/package.sh
@@ -71,6 +71,9 @@ llvm-objcopy
 llvm-objdump
 llvm-readelf
 llvm-readobj
+llvm-addr2line
+llvm-symbolizer
+opt
 EOF
          )
 cp -R "rust/build/${HOST_TRIPLE}/llvm/build/lib/clang" deploy/llvm/lib/