-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 thank you for checking the coq port, and sorry that I couldn't respond promptly.
> Well it does work on sparc64 and I would guess that it will genarally > work on (!ocaml_native || ocaml_native_dynlink) > > Have you tried -byte-only or -natdynlink no ?? I have native, but not > native-dynlink machine to test this, but could try qemu-sparc... if it takes some time to explore non-dynlink architecture, we can choose to update the port with BROKEN-<arch> directive... -- yozo. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (OpenBSD) iQEcBAEBCgAGBQJQzfkbAAoJEJQ/BaAIe85ZISMH/iNn7MMh0qsWjEOBTHmu1UN2 3wz+kGMA0DC4EOCmRIY7Sx7LIrBU3yJsSMk7ixUxVf0k6BQYzvaIxg718eURcsUG 0WH9QnY9JXpgU1GQh19HaNgZ8K9Msw14S7EgQnfehboEu95DWKvVgLS9H8sWVqmi J60QRpZFlm9V6mZMTcgfqTdzhVeYXGylLDkGLyGGjvqvFrhDi+3yVwf9B8ZdxbYd V5L6eyOPVYJON5Rl3bEXrlhMPp8BFrpo9TpAZEkcr90DVXHJombMmwBc8rnRLX9R rv6ZPNYDMpvem+Q/pJWvrQL2mnhvhyFEnIQs/uU8C29YFSiTHQKlXTTeoNuiZ4w= =eHOF -----END PGP SIGNATURE-----