mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-27 02:58:48 +00:00
Code Activity

Merge pull request #5987 from YosysHQ/update_abc

Browse source 
Update ABC as per 2026-06-25
This commit is contained in:
Miodrag Milanović 2026-06-26 10:44:01 +00:00 • committed by GitHub
commit baed9c4185
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
abc

@ -1 +1 @@
Subproject commit 30c47da5c9343713ef0b3e12914686ffd28ef367
Subproject commit a35f806b8ce47d29537cab973679b5a3523ab085

2
cmake/YosysAbc.cmake
View file

@ -60,6 +60,7 @@ function(yosys_abc_target arg_LIBNAME arg_EXENAME)
$<$<NOT:$<CXX_COMPILER_ID:MSVC>>:ABC_NAMESPACE=abc>
ABC_USE_STDINT_H=1
ABC_USE_CUDD=1
ABC_NO_HISTORY=1
ABC_NO_DYNAMIC_LINKING
$<${YOSYS_ENABLE_THREADS}:ABC_USE_PTHREADS>
$<${YOSYS_ENABLE_READLINE}:ABC_USE_READLINE>
@ -83,6 +84,7 @@ function(yosys_abc_target arg_LIBNAME arg_EXENAME)
-Wno-deprecated-comma-subscript
-Wno-format
-Wno-constant-logical-operand
-Wno-sizeof-pointer-memaccess
)
target_link_libraries(${arg_LIBNAME} PUBLIC
$<${YOSYS_ENABLE_THREADS}:Threads::Threads>