From c55aee2ccd7174a68e74cfbb49f52926b2e4f2af Mon Sep 17 00:00:00 2001
From: Hugo McNally <hugo.mcnally@gmail.com>
Date: Thu, 14 Nov 2024 15:04:48 +0000
Subject: [PATCH] Add cmake install rule for sv-bugpoint binary

---
 CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 62a8689..072ad30 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -36,3 +36,5 @@ if (NOT MSVC)
       target_compile_options(sv-bugpoint PRIVATE -Werror)
     endif()
 endif()
+
+install(TARGETS sv-bugpoint RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR})