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.