Re: coq 8.12.0p0: diff to unbreak on non-ocaml-native architecture

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Charlene Wendling writes:
> On Fri, 28 Aug 2020 05:26:16 +0900
> Yozo TODA wrote:
>
> > recent bulk builds show that coq 8.12.0 failed to build on
> > non ocaml-native architectures such as aarch64, sparc64, misp64.
........
> > Here attached is the diff to coq-8.12.0.
> > Anyone please confirm this diff really enables the packaging
> > on non ocaml-native architectures?
> >
> > -- yozo.
>
> Hi,
>
> It packages fine on macppc: https://bin.charlenew.xyz/coq.log

thanks. I believe it verifies that my patch(8.12.0p0) works on
non ocaml-native architectures, too.

please commit this to the ports tree, anyone?

-- yozo.

-----BEGIN PGP SIGNATURE-----

iQJJBAEBCgAzFiEEP48DGKttLBTWuiCMx2ep6SZGbGQFAl9eSXQVHHlvem9AdjAw
Ny52YWlvLm5lLmpwAAoJEMdnqekmRmxkT4AQAMCKnAe5hS1kIBYFTZLoXO9B5vni
GMKMFlC5G+Xen+Gz1i5IJSh+sn45466uZ0sbk0Bq5mN2Wx50qFXRd+LW8Ca4OPEh
FmAvbdrmCFBDPbqsJHXQtV0uUK90pyzDfeEpZA9TCivHK/TwRgNt8fsRqeCe0hzF
38NiUa+XPVIIFRet9XfBOvGVltIvxW+zBQ4SHHUKgf/1puxi3FzuurV60glTpX6B
PZsJBPFLyHXw50vEg0jWHjqisRElL2BzhDq10fi8KBJo51F1OkW2goHYX4kdwJIB
Br1i/zy3SILDcnzSn85p/vxIv+phIT0jeR5KkL4rihSV2NC/D7Bk6/kFudEDlnyi
IStrgFQ3Qed0kfeCjQekxmJ7JiVG30DRP5vPLqtswLbCMkcDEOAj9IGfWflQi1X2
rwCTuXux/qP71ZYXoHu4tu5b6kAADNVeXwFQnYYrMcaHkOpEwkhfShtt4W8d2Y46
/5cJY8AYj/aCtAcP3OnlmgiZBM1YIbQZKSub8cleta3bFRc2PUV/iu0BT0GmKscx
/7TGN5i2S78Di2T/p2L5QAbim1ytQEaX0UUGpmeLLInD5eZyhAXqxZG2yjueIopJ
dD/bdbG45coh6AUmAqxsO4WeJbzKbjxK/k4vaJN1+GoHBVLQAPb7FHwStyW6flSv
Q2N9Ap7a6YyJvkG+
=3/PT
-----END PGP SIGNATURE-----