From 61bc3bd2879e3cca71a43b3d3d7ecfc755d7b344 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 7 Jul 2026 14:51:44 +0200 Subject: [PATCH] Add option to build/install slang tools --- libs/CMakeLists.txt | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/libs/CMakeLists.txt b/libs/CMakeLists.txt index ca0e487f9..8d264a120 100644 --- a/libs/CMakeLists.txt +++ b/libs/CMakeLists.txt @@ -43,5 +43,15 @@ block() if(NOT Boost_FOUND) target_compile_definitions(slang_slang PRIVATE BOOST_REGEX_STANDALONE) endif() + if (SLANG_INCLUDE_TOOLS) + # Temporary to prevent build issues + set_target_properties(slang_tidy_obj_lib PROPERTIES YOSYS_IS_ABC ON) + + install(TARGETS slang_driver RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) + install(TARGETS slang_hier RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) + install(TARGETS slang_reflect RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) + install(TARGETS rewriter RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) + install(TARGETS slang_tidy RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) + endif() endif() endblock()