On Mon, 14 Sep 2020, Yozo TODA wrote:
> -----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?
>
We now include coqc in both PFRAG.no-native and PFRAG.native which seems a
bit unusual to me.
Are you sure this change is correct?
