Add cmake install rule for sv-bugpoint binary

antmicro · Nov 14, 2024 · c55aee2 · c55aee2
1 parent 5808767
commit c55aee2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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})