From 83ee00d3123b2ea224f0e732823a0e9e2c1b673c Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Mon, 15 Jun 2026 19:42:17 +0200 Subject: [PATCH 1/2] Update ABC as per 2026-06-15 --- abc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/abc b/abc index 1e85fff18..30c47da5c 160000 --- a/abc +++ b/abc @@ -1 +1 @@ -Subproject commit 1e85fff18db313b29584dc1ff7c2074d2275a381 +Subproject commit 30c47da5c9343713ef0b3e12914686ffd28ef367 From 0584587f9a5eaff3c915969fb00b891982581092 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 16 Jun 2026 10:07:45 +0200 Subject: [PATCH 2/2] Make compilation like by abc scripts --- cmake/YosysAbc.cmake | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/cmake/YosysAbc.cmake b/cmake/YosysAbc.cmake index 1c59308d3..6e3736712 100644 --- a/cmake/YosysAbc.cmake +++ b/cmake/YosysAbc.cmake @@ -42,7 +42,9 @@ function(yosys_abc_target arg_LIBNAME arg_EXENAME) list(TRANSFORM all_sources PREPEND abc/) # Required to get `-DABC_NAMESPACE` below to work consistently. - set_source_files_properties(${all_sources} PROPERTIES LANGUAGE CXX) + if(NOT MSVC) + set_source_files_properties(${all_sources} PROPERTIES LANGUAGE CXX) + endif() set(main_source abc/src/base/main/main.c) list(REMOVE_ITEM all_sources ${main_source}) @@ -55,7 +57,7 @@ function(yosys_abc_target arg_LIBNAME arg_EXENAME) target_include_directories(${arg_LIBNAME} PRIVATE abc/src) target_compile_definitions(${arg_LIBNAME} PUBLIC WIN32_NO_DLL - ABC_NAMESPACE=abc + $<$>:ABC_NAMESPACE=abc> ABC_USE_STDINT_H=1 ABC_USE_CUDD=1 ABC_NO_DYNAMIC_LINKING