diff --git a/CMakeLists.txt b/CMakeLists.txt index 86a0aaa71..825a627a0 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -610,3 +610,19 @@ add_custom_target(increment-minor-version >> ${YOSYS_CMAKE_SOURCE_DIR}/cmake/YosysVersionData.cmake VERBATIM ) + +if (NOT MSVC AND NOT YOSYS_WITHOUT_SLANG) + block() + set(ABC_SOURCE_DIR "${YOSYS_CMAKE_SOURCE_DIR}/abc") + add_subdirectory(abc/tools/sn) + + set_target_properties(sn_slang_lib PROPERTIES YOSYS_IS_ABC ON) + set_target_properties(sn PROPERTIES YOSYS_IS_ABC ON) + if(SANITIZE) + target_link_options(sn PRIVATE -fsanitize=${SANITIZE}) + endif() + + set_target_properties(sn PROPERTIES RUNTIME_OUTPUT_DIRECTORY "${YOSYS_CMAKE_BINARY_DIR}") + install(TARGETS sn RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}) + endblock() +endif() diff --git a/abc b/abc index d93d35621..4ac8a4738 160000 --- a/abc +++ b/abc @@ -1 +1 @@ -Subproject commit d93d356216e3547770631ec26e71463e35196507 +Subproject commit 4ac8a4738f2b67488bf801e3a0aa166f44581247