Seems to build and install ok on mips64 too: http://c66.it.su.se:8080/obsd/coq-build-mips64.txt
Don't know how to test it further than that. Den sön 30 aug. 2020 kl 19:57 skrev Charlene Wendling <[email protected] >: > 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. > > -- May the most significant bit of your life be positive.
