> On Feb 13, 2021, at 8:58 AM, Stuart Henderson <s...@spacehopper.org> wrote:
>
> On 2021/02/13 16:24, Yozo TODA wrote:
>> -----BEGIN PGP SIGNED MESSAGE-----
>> Hash: SHA512
>>
>>> Here is an updated list of ports that fail to build with -fno-common:
>>>
>> ........
>>> graphics/ocaml-cairo UPDATE ports@openbsd.org
>>
>> please import the update to 1.6.2 I sent on February 6th.
>>
>>> From: Yozo TODA <y...@v007.vaio.ne.jp>
>>> To: ports@openbsd.org
>>> Subject: update graphics/ocaml-cairo to 0.6.2 (Re: -fno-common update:
>>> broken ports)
>>> Date: Sat, 06 Feb 2021 21:37:36 +0900
>>
>> it works on amd64-current usual and non-native configurations.
>> no problem with lablgtk3 and coq.
>
> It is already committed and packages are on the mirrors now.
>
lablgtk3 also needed a fix for -fno-common and that’s committed as well. There
was a new point release of lablgtk3 specifically for this issue.
coq and compcert work fine following those two updates.