Sunday, August 30, 2020

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

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.
>
> by simulating non ocaml-native architectures on amd64
> with arch-defines.mk modified,
> (removing amd64 from OCAML_NATIVE_ARCHS and OCAML_DYNLINK_ARCHS)
> I check how we should update PLIST and PFRAGs.
>
> 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

Charlène.

No comments:

Post a Comment