Compile utils/config.{cmi,cmx} with -opaque
authorStéphane Glondu <glondu@debian.org>
Sun, 1 Mar 2026 20:32:31 +0000 (21:32 +0100)
committerStéphane Glondu <glondu@debian.org>
Tue, 16 Jun 2026 19:25:11 +0000 (21:25 +0200)
The goal is to stabilize compiler-libs ABI.

Gbp-Pq: Name Compile-utils-config.-cmi-cmx-with-opaque.patch

Makefile

index 4ce5da6586e3761078a75ea77196f4e75cc63ffa..c9d43003e258ed6c09723468586181d8d4000399 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -2546,6 +2546,12 @@ endif
 %.cmx: %.ml
        $(V_OCAMLOPT)$(COMPILE_NATIVE_MODULE) -c $<
 
+utils/config.cmi: utils/config.mli
+       $(V_OCAMLC)$(CAMLC) $(OC_COMMON_COMPFLAGS) -I $(@D) $(INCLUDES) -opaque -c $<
+
+utils/config.cmx: utils/config.ml
+       $(V_OCAMLOPT)$(COMPILE_NATIVE_MODULE) -opaque -c $<
+
 partialclean::
        for d in utils parsing typing bytecomp asmcomp middle_end file_formats \
            lambda middle_end/closure middle_end/flambda \