From d93bf26c7cd1dcc1a38b7449cdd5a979d9a75fcc Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 14 Jan 2022 09:19:43 +0100
Subject: [PATCH] [Makefile] avoid issue with rectypes in some configurations

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index fbcc54a8fb3..58008950bb7 100644
--- a/Makefile
+++ b/Makefile
@@ -671,6 +671,9 @@ check-logic-parser-wildcard:
 
 NON_OPAQUE_DEPS+= src/kernel_services/plugin_entry_points/dynamic
 
+# abstract_memory.cmi must _not_ inherit the '-rectypes' flag, so we
+# eagerly assign it _before_ adding -rectypes to the .cmo/.cmx files
+src/kernel_services/abstract_interp/abstract_memory.cmi: BFLAGS := $(BFLAGS)
 src/kernel_services/abstract_interp/abstract_memory.cmo: BFLAGS += -rectypes
 src/kernel_services/abstract_interp/abstract_memory.cmx: OFLAGS += -rectypes
 
-- 
GitLab