From 21aa69f448e4142b650c03b2b630a13f3b562a42 Mon Sep 17 00:00:00 2001 From: Catherine Date: Fri, 17 Jul 2026 22:21:46 +0000 Subject: [PATCH] Fix DPI-C support broken in v0.67. Fixes #6052. --- kernel/yosys_config.h.in | 1 + 1 file changed, 1 insertion(+) diff --git a/kernel/yosys_config.h.in b/kernel/yosys_config.h.in index d0d6ce6ff..e68194271 100644 --- a/kernel/yosys_config.h.in +++ b/kernel/yosys_config.h.in @@ -11,6 +11,7 @@ #cmakedefine YOSYS_ENABLE_THREADS #cmakedefine YOSYS_ENABLE_DLOPEN #cmakedefine YOSYS_ENABLE_ZLIB +#cmakedefine YOSYS_ENABLE_LIBFFI #cmakedefine YOSYS_ENABLE_PLUGINS #cmakedefine YOSYS_ENABLE_READLINE #cmakedefine YOSYS_ENABLE_EDITLINE