> On Feb 12, 2022, at 5:25 PM, Klemens Nanni <[email protected]> wrote:
>
> On Sat, Feb 12, 2022 at 07:22:29PM +0900, Yozo TODA wrote:
>> and ping on math/coq update to 8.13.2p1 below,
>> which I confirmed on
>> - amd64 native and
>> - amd64 with modified arch-defines.mk dropping amd64 from OCAML_NATIVE_*
>>
>> re-attached the diff.
>
> This builds and packages fine without PLIST change on both sparc64 and
> amd64, thanks!
>
> I'll commit your fix.
Don’t we take out the @bin markers etc since some of the ocaml platforms aren’t
native platforms?
