diff --git a/src/core/flags.h.in b/src/core/flags.h.in
index e6cc2e01c..aa2236dd1 100644
--- a/src/core/flags.h.in
+++ b/src/core/flags.h.in
@@ -37,6 +37,12 @@
 
 // USE flags
 
+#ifndef MINIMAL_CORE
+
+#ifndef USE_DEBUGGERS
+#cmakedefine USE_DEBUGGERS
+#endif
+
 #ifndef USE_EDITLINE
 #cmakedefine USE_EDITLINE
 #endif
@@ -86,3 +92,5 @@
 #endif
 
 #endif
+
+#endif