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