From d01a320de7169a75fc4ab5403c41a0be9749c5c3 Mon Sep 17 00:00:00 2001
From: David Tomaschik <david@systemoverlord.com>
Date: Sun, 1 May 2022 16:40:44 -0700
Subject: [PATCH] ropper recipe

---
 bin/install_tool | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bin/install_tool b/bin/install_tool
index 23acc97..01263e3 100755
--- a/bin/install_tool
+++ b/bin/install_tool
@@ -426,6 +426,10 @@ EOF
     download "${dpkg_url}" "${dpkg_name}"
     sudo dpkg -i "${dpkg_name}"
     ;;
+  ropper)
+    install_pkgs python3-z3
+    pip3 install --user pyvex ropper
+    ;;
   *)
     echo "Unknown tool: ${TOOL}" >/dev/stderr
     list_tools