On Tue, Feb 18 2020, Daniel Dickman <didick...@gmail.com> wrote: > Update lablgtk3 to 3.1.0. > > Includes improvements for ocaml 4.10. The local patch goes away because > only dune is supported for doing builds now. Makefile support was deleted > in commit 576b193 which was included in version 3.0.beta7. > > The two consumers (devel/frama-c and math/coq) were compile tested on > amd64. > > ok?
math/coq (in-tree version) and frama-c still build with this update on sparc64, ok jca@ -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
