From abe63cecccd6e9b67eb567a64b2a157bb460640f Mon Sep 17 00:00:00 2001
From: Helmut Eller <eller.helmut@gmail.com>
Date: Wed, 6 May 2026 10:25:01 +0200
Subject: [PATCH] * src/igc-types.h: Emit a warning if HAVE_MPS is not defined

---
 src/igc-types.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/igc-types.h b/src/igc-types.h
index 97aee81af8f..bba19ee0af8 100644
--- a/src/igc-types.h
+++ b/src/igc-types.h
@@ -20,6 +20,13 @@ along with GNU Emacs.  If not, see <https://www.gnu.org/licenses/>. */
 #ifndef EMACS_IGC_TYPES_H
 #define EMACS_IGC_TYPES_H
 
+#ifndef HAVE_MPS
+/* FIXME: this file should only be included if HAVE_MPS.  Currently the
+   code in pdumper.c depends on the enum tags from this file.  Emit a
+   warning instead of an error until that is fixed.  */
+#warning "HAVE_MPS not defined"
+#endif
+
 enum igc_obj_type
 {
   IGC_OBJ_INVALID,