add_subdirectory(bigint) add_subdirectory(cxxopts) add_subdirectory(dlfcn-win32) add_subdirectory(ezsat) add_subdirectory(fst) add_subdirectory(json11) add_subdirectory(minisat) add_subdirectory(sha1) add_subdirectory(subcircuit) block() set(BUILD_SHARED_LIBS OFF) include(FetchContent) set(FETCHCONTENT_FULLY_DISCONNECTED ON) option(FMT_INSTALL OFF) FetchContent_Declare( fmt EXCLUDE_FROM_ALL SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/fmt ) FetchContent_MakeAvailable(fmt) FetchContent_Declare( tomlplusplus EXCLUDE_FROM_ALL SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/tomlplusplus ) FetchContent_MakeAvailable(tomlplusplus) FetchContent_Declare( boost_regex EXCLUDE_FROM_ALL SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/boost_regex SOURCE_SUBDIR _no_build_ ) FetchContent_MakeAvailable(boost_regex) if (NOT YOSYS_WITHOUT_SLANG) set(SLANG_USE_MIMALLOC OFF) add_subdirectory(slang) # Headers autodetect based on but when version # does exist but does not match requirements it becomes problematic if(NOT Boost_FOUND) target_compile_definitions(slang_slang PRIVATE BOOST_REGEX_STANDALONE) endif() endif() endblock()