Closed correnson closed 3 months ago
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
Those are duplicates of #178 . There is already a fix, waiting for it being merged into opam. https://github.com/ocaml/opam-repository/pull/25574
On my recently upgraded macOS M1 + Sonoma + Up-to-date Homebrew, Lablgtk3 no more compiles :thinking: Here is the reported error: