> On Sep 16, 2020, at 2:22 AM, Janne Johansson wrote:
>
> 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.
>
Thanks!
“make test” would be one way to check coq runtime functionality.
> On Sep 14, 2020, at 8:43 PM, Yozo TODA wrote:
>
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA512
>
>> 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?
>
> ah sorry, I should add more
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 :
> On Fri, 28 Aug 2020 05:26:16 +0900
> Yozo TODA wrote:
>
> > recent bulk builds show that coq
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
> 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?
ah sorry, I should add more explanation.
- adding ocaml-num in RUN_DEPENDS for non ocaml_native
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
-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
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