Merge pull request #2 from HU90m/install-targets

Add cmake install rule for the sv-bugpoint binary
antmicro · Nov 15, 2024 · 1e078fa · 1e078fa
2 parents 5808767 + c55aee2
commit 1e078fa
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})