Installation issue on macOS M1+Sonoma

[correnson]

On my recently upgraded macOS M1 + Sonoma + Up-to-date Homebrew, Lablgtk3 no more compiles 🤔
Here is the reported error:

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
[ERROR] The compilation of lablgtk3.3.1.4 failed at "dune build -p lablgtk3 -j
        7".

#=== ERROR while compiling lablgtk3.3.1.4 =====================================#
# context     2.1.5 | macos/arm64 | ocaml.4.14.2 | pinned(file:///Users/correnson/Install/lablgtk3.3.1.4)
# path        ~/.opam/Master/.opam-switch/build/lablgtk3.3.1.4
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p lablgtk3 -j 7
# exit-code   1
# env-file    ~/.opam/log/lablgtk3-23956-265ac6.env
# output-file ~/.opam/log/lablgtk3-23956-265ac6.out
### output ###
# [...]
# #define alloc_tuple CAML_DEPRECATED("alloc_tuple", "caml_alloc_tuple") caml_alloc_tuple
#                     ^
# /Users/correnson/.opam/Master/lib/ocaml/caml/misc.h:58:3: note: expanded from macro 'CAML_DEPRECATED'
#   CAML_PREPROWARNING(name1 is deprecated: use name2 instead)
#   ^
# /Users/correnson/.opam/Master/lib/ocaml/caml/misc.h:56:31: note: expanded from macro 'CAML_PREPROWARNING'
# #define CAML_PREPROWARNING(x) _Pragma(CAML_MAKEWARNING2(x))
#                               ^
# <scratch space>:74:6: note: expanded from here
#  GCC warning "\"alloc_tuple\" is deprecated: use \"caml_alloc_tuple\" instead"
#      ^
# 36 warnings generated.



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
┌─ The following actions failed
│ λ build lablgtk3 3.1.4
└─ 
╶─ No changes have been performed

[jacques-noye]

Hi,
I have got the same kind of issue while installing the Coq Platform on macOS M1 + Sonoma + up-to-date MacPorts. The details look different though.

[ERROR] The compilation of lablgtk3.3.1.4 failed at "dune build -p lablgtk3 -j 4".
[...]
#=== ERROR while compiling lablgtk3.3.1.4 =====================================#
# context              2.1.5 | macos/arm64 | ocaml-option-flambda.1 ocaml-variants.4.14.1+options | https://opam.ocaml.org#6d17c11f
# path                 ~/.opam/CP.2023.11.0~8.17~2023.08/.opam-switch/build/lablgtk3.3.1.4
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p lablgtk3 -j 4
# exit-code            1
# env-file             ~/.opam/log/lablgtk3-48363-d7260e.env
# output-file          ~/.opam/log/lablgtk3-48363-d7260e.out
### output ###
# <scratch space>:70:6: note: expanded from here
# [...]
# 36 warnings generated.
# (cd _build/default/src && ../.bin/propcc gtkMisc.props)
# Warning: no conversion for type PangoAttrList in class GtkLabel
# Warning: no conversion for type GIcon in class GtkImage
# Warning: no conversion for type GdkPixbufAnimation in class GtkImage
# Warning: no conversion for type CairoSurface in class GtkImage
# (cd _build/default/src && ../.bin/propcc gtkText.props)
# Warning: no conversion for type PangoTabArray in class GtkTextView
# Warning: no conversion for type PangoTabArray in class GtkTextTag
# (cd _build/default/src && ../.bin/propcc gtkTree.props)
# Warning: no conversion for type PangoAttrList in class GtkCellRendererText

<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build lablgtk3 3.1.4

[garrigue]

Those are duplicates of #178 .
There is already a fix, waiting for it being merged into opam.
ocaml/opam-repository#25574

[correnson]

Some upgrades later… I encounter a new bug, similar to the one reported above #180 (comment) which indeed seems different from my initial bug and those reported on #178 :

#=== ERROR while compiling lablgtk3.3.1.5 =====================================#
# context     2.3.0 | macos/x86_64 | ocaml-base-compiler.4.14.0 | https://opam.ocaml.org#5cfbed0a5094c19375b0d6e7b243c13f677ec0d1
# path        ~/.opam/FRAMA-C/.opam-switch/build/lablgtk3.3.1.5
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p lablgtk3 -j 7
# exit-code   1
# env-file    ~/.opam/log/lablgtk3-89661-54b6c1.env
# output-file ~/.opam/log/lablgtk3-89661-54b6c1.out
### output ###
# [...]
# (cd _build/default/src && ../.bin/propcc gtkBase.props)
# Warning: no conversion for type GdkWindow_opt in class GtkWidget
# (cd _build/default/src && ../.bin/propcc gtkMisc.props)
# Warning: no conversion for type PangoAttrList in class GtkLabel
# Warning: no conversion for type GIcon in class GtkImage
# Warning: no conversion for type GdkPixbufAnimation in class GtkImage
# Warning: no conversion for type CairoSurface in class GtkImage
# (cd _build/default/src && ../.bin/propcc gtkText.props)
# Warning: no conversion for type PangoTabArray in class GtkTextView
# Warning: no conversion for type PangoTabArray in class GtkTextTag
# (cd _build/default/src && ../.bin/propcc gtkTree.props)
# Warning: no conversion for type PangoAttrList in class GtkCellRendererText

The error is reported with lablgtk3 with versions 3.1.2, 3.1.3, 3.1.4 and 3.1.5

I have gtk+3 3.24.43 installed.